mirror of
https://github.com/commercialhaskell/stackage.git
synced 2026-01-13 15:58:32 +01:00
Link to liamoc/agda-snippets#2
This commit is contained in:
parent
70c9f2d23a
commit
fbddc3d6fc
@ -429,7 +429,7 @@ packages:
|
||||
- latex-formulae-image
|
||||
- latex-formulae-pandoc
|
||||
- latex-formulae-hakyll
|
||||
# Temporarily removed due to upper bound on haskell-src-exts in Agda
|
||||
# https://github.com/liamoc/agda-snippets/issues/2
|
||||
# - agda-snippets
|
||||
# - agda-snippets-hakyll
|
||||
|
||||
|
||||
Loading…
Reference in New Issue
Block a user