diff options
| author | Julien Lepiller <julien@lepiller.eu> | 2022-08-13 18:02:16 +0200 |
|---|---|---|
| committer | Julien Lepiller <julien@lepiller.eu> | 2022-08-13 21:21:20 +0200 |
| commit | b4d97ef2dee113eec1307207874253c4a2e39e39 (patch) | |
| tree | cf3f4feaabf7c0d9cfc078af8ac3750301928fac /gnu/packages/coq.scm | |
| parent | 07dcba54372eaae2364be47f21f554ab5b2cb9ab (diff) | |
gnu: ocaml-piqi: Update to 0.7.8.
* gnu/packages/ocaml.scm (ocaml-piqi): Update to 0.7.8.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions