diff options
| author | Julien Lepiller <julien@lepiller.eu> | 2022-09-19 20:07:48 +0200 |
|---|---|---|
| committer | Julien Lepiller <julien@lepiller.eu> | 2022-09-22 07:34:32 +0200 |
| commit | 1bb856d90a13a0df1471f47bc4297dfa8ba133e6 (patch) | |
| tree | c87b8b4982cec86aa2a8520529f318b413c100dd /gnu/packages/medical.scm | |
| parent | b7971ff798d2d400bac0293bd8d86175433fec6b (diff) | |
| download | guix-1bb856d90a13a0df1471f47bc4297dfa8ba133e6.tar guix-1bb856d90a13a0df1471f47bc4297dfa8ba133e6.tar.gz | |
gnu: coq-flocq: Update to 4.1.0.
* gnu/packages/coq.scm (coq-flocq): Update to 4.1.0.
Diffstat (limited to 'gnu/packages/medical.scm')
0 files changed, 0 insertions, 0 deletions