10 lines
330 B
Scheme
10 lines
330 B
Scheme
|
(use-modules (guix profiles)
|
||
|
|
(gnu packages agda)
|
||
|
|
(gnu packages cedille)
|
||
|
|
(gnu packages coq))
|
||
|
|
|
||
|
|
(packages->manifest
|
||
|
|
(list #|agda |# agda agda-ial agda-stdlib agda-categories
|
||
|
|
#|cedille|# ;cedille <- currently broken
|
||
|
|
#|coq |# coq coq-interval coq-equations coq-semantics))
|