mirror of
https://github.com/commercialhaskell/stackage.git
synced 2026-01-12 15:28:29 +01:00
add idris (idris-lang/idris-dev#2501)
This commit is contained in:
parent
7b7f5322b4
commit
c5741255b5
@ -908,6 +908,7 @@ packages:
|
||||
- ghcjs-codemirror
|
||||
- ghcjs-dom
|
||||
- gtksourceview3
|
||||
- idris
|
||||
- jsaddle
|
||||
- leksah-server
|
||||
- ltk
|
||||
|
||||
Loading…
Reference in New Issue
Block a user