diff options
| author | Dan Frumin <dfrumin@cs.ru.nl> | 2019-03-01 17:15:08 +0100 |
|---|---|---|
| committer | Julien Lepiller <julien@lepiller.eu> | 2019-03-01 21:52:59 +0100 |
| commit | 0b611996b9c41e7c33d30260bbce744a9141d999 (patch) | |
| tree | 096c378302f976454af638b377244e60f7677a6c /gnu/installer | |
| parent | 15f1bff4b6f3a89cb0c9cd10f8cbefdc6d9ac350 (diff) | |
| download | patches-0b611996b9c41e7c33d30260bbce744a9141d999.tar patches-0b611996b9c41e7c33d30260bbce744a9141d999.tar.gz | |
gnu: coq-flocq: Update to 3.1.0.
* gnu/packages/coq.scm (coq-flocq): Update to 3.1.0.
(coq-interval): Update to 3.4.0.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
Diffstat (limited to 'gnu/installer')
0 files changed, 0 insertions, 0 deletions