diff options
| author | Brett Gilio <brettg@gnu.org> | 2020-01-07 13:02:36 -0600 |
|---|---|---|
| committer | Brett Gilio <brettg@gnu.org> | 2020-01-07 13:02:36 -0600 |
| commit | d2884b7feff849bc969503dea2a6e8052fc139a6 (patch) | |
| tree | 5a8bb9202ba2d2b1036012b778abe5d9a7869374 /gnu/services | |
| parent | 14af514bf028db4fb878f4a46e477aba21c34b48 (diff) | |
| download | patches-d2884b7feff849bc969503dea2a6e8052fc139a6.tar patches-d2884b7feff849bc969503dea2a6e8052fc139a6.tar.gz | |
gnu: coq-stdpp: Update to 1.2.1.
* gnu/packages/coq.scm (coq-stdpp): Update to 1.2.1.
[arguments]: Remove redundant COQLIB variable.
Diffstat (limited to 'gnu/services')
0 files changed, 0 insertions, 0 deletions