diff options
| author | Pierre Neidhardt <mail@ambrevar.xyz> | 2020-04-19 18:12:43 +0200 |
|---|---|---|
| committer | Pierre Neidhardt <mail@ambrevar.xyz> | 2020-05-17 14:36:43 +0200 |
| commit | e199cf436b0f1d44be9c509e598b7d5abcf2b4fd (patch) | |
| tree | 34c74f604fcb04897971da8ebfc09e97ec4f7c67 /nongnu/packages/coq.scm | |
| parent | da95ca97d4fce779cfeec2824c1aaa757fbd2009 (diff) | |
nongnu: Add brscan4.
* nongnu/packages/scanner.scm (brscan4): New variable.
Diffstat (limited to 'nongnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions