diff options
| author | Julien Lepiller <julien@lepiller.eu> | 2021-12-22 00:05:12 +0100 |
|---|---|---|
| committer | Julien Lepiller <julien@lepiller.eu> | 2021-12-22 00:05:32 +0100 |
| commit | bf8e084d1d19f8c2444d8f6ec3a5cbea28637924 (patch) | |
| tree | 3d0fa3df38494d4ee09fc8178c7ee5fa20d90fa0 /gnu/packages/coq.scm | |
| parent | 0b2d0d1148b7b462c34de3310dbbb4300ac6ebd3 (diff) | |
| download | guix-patches-bf8e084d1d19f8c2444d8f6ec3a5cbea28637924.tar guix-patches-bf8e084d1d19f8c2444d8f6ec3a5cbea28637924.tar.gz | |
gnu: ocaml-findlib: Update to 1.9.1.
* gnu/packages/ocaml.scm (ocaml-findlib): Update to 1.9.1.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions