4d7338f71a
Hi! I maintain Idris packages here: https://github.com/NixOS/nixpkgs/tree/master/pkgs/development/idris-modules They are not included in the main package set, so won't build automatically. I'd like to occasionally trigger some builds. Please consider adding me. Thanks!
17 lines
202 B
JSON
17 lines
202 B
JSON
[
|
|
"brainrape",
|
|
"bhipple",
|
|
"dywedir",
|
|
"edef1c",
|
|
"Ekleog",
|
|
"Ma27",
|
|
"oxij",
|
|
"pbogdan",
|
|
"teto",
|
|
"ThomasMader",
|
|
"unode",
|
|
"va1entin",
|
|
"xeji",
|
|
"volth"
|
|
]
|