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 /.dir-locals.el | |
| parent | 15f1bff4b6f3a89cb0c9cd10f8cbefdc6d9ac350 (diff) | |
| download | guix-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 '.dir-locals.el')
0 files changed, 0 insertions, 0 deletions