diff options
| author | Guillaume LE VAILLANT <glv@posteo.net> | 2019-09-16 15:10:03 +0200 |
|---|---|---|
| committer | Pierre Neidhardt <mail@ambrevar.xyz> | 2019-09-18 11:55:42 +0200 |
| commit | c0dcdd45d90c7906bc652cf4ca7a3825261b786f (patch) | |
| tree | b5cf1d548438340314978b6d4f5081f70cf8cc22 /gnu/packages/coq.scm | |
| parent | bc5d9a7ac1ac7cba9cf0f3ee0a21884bf4a1ca23 (diff) | |
| download | patches-c0dcdd45d90c7906bc652cf4ca7a3825261b786f.tar patches-c0dcdd45d90c7906bc652cf4ca7a3825261b786f.tar.gz | |
gnu: Add fprog.
* gnu/packages/lisp.scm (sbcl-fprog, cl-fprog, ecl-fprog): New variables.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions