diff options
| author | Jean-Pierre De Jesus DIAZ <jean@foundation.xyz> | 2024-05-07 17:57:18 +0200 |
|---|---|---|
| committer | Andreas Enge <andreas@enge.fr> | 2024-05-15 16:12:44 +0200 |
| commit | 2ce67731fc5c929cc9fda2836bdaeda98d079f1c (patch) | |
| tree | 4ed25a5a21fa9a8dd7e05efd32bc6c2f1a0d2d20 /gnu/packages/fpga.scm | |
| parent | 36dc960c7fa675a2ed93b783f209a1e6e396c285 (diff) | |
| download | guix-2ce67731fc5c929cc9fda2836bdaeda98d079f1c.tar.gz guix-2ce67731fc5c929cc9fda2836bdaeda98d079f1c.zip | |
gnu: coq-flocq: Update to 4.1.4.
* gnu/packages/coq.scm (coq-flocq): Update to 4.1.4.
Change-Id: Ia2bf4bccad712a7bfa5427ef26ad93d39f1fc6e0
Signed-off-by: Andreas Enge <andreas@enge.fr>
Diffstat (limited to 'gnu/packages/fpga.scm')
0 files changed, 0 insertions, 0 deletions