diff options
| author | Dan Frumin <dfrumin@cs.ru.nl> | 2019-03-04 16:36:02 +0100 |
|---|---|---|
| committer | Julien Lepiller <julien@lepiller.eu> | 2019-03-04 20:58:57 +0100 |
| commit | 3d03fed47fc9a9af784a026a8ac76418f609b639 (patch) | |
| tree | d2b5016f109f8630ea098b749007a6b365b3f096 /HACKING | |
| parent | 7d3a78e731c87f336ea70597b6ae7506078d8931 (diff) | |
| download | patches-3d03fed47fc9a9af784a026a8ac76418f609b639.tar patches-3d03fed47fc9a9af784a026a8ac76418f609b639.tar.gz | |
gnu: coq-coquelicot: Update to 3.0.2.
* gnu/packages/coq.scm (coq-coquelicot): Update to 3.0.2.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
Diffstat (limited to 'HACKING')
0 files changed, 0 insertions, 0 deletions