diff options
| author | Pierre Neidhardt <mail@ambrevar.xyz> | 2018-10-01 15:31:25 +0200 |
|---|---|---|
| committer | Pierre Neidhardt <mail@ambrevar.xyz> | 2018-10-19 17:54:12 +0200 |
| commit | 86afb0a272dc24b68245d35825c0b7b5cc73f64a (patch) | |
| tree | 82f29cb4c6ddd06296e1ff4158be12b2a99fa699 /gnu/packages/avr.scm | |
| parent | 1a42bb80cb257aa4cec725dd2ef5c20123b8be9f (diff) | |
| download | gnu-guix-86afb0a272dc24b68245d35825c0b7b5cc73f64a.tar gnu-guix-86afb0a272dc24b68245d35825c0b7b5cc73f64a.tar.gz | |
gnu: Add prove.
* gnu/packages/lisp.scm (cl-prove, ecl-prove, sbcl-prove): New variables.
Diffstat (limited to 'gnu/packages/avr.scm')
0 files changed, 0 insertions, 0 deletions