diff options
| author | Zheng Junjie <zhengjunjie@iscas.ac.cn> | 2024-09-12 13:24:29 +0800 |
|---|---|---|
| committer | Zheng Junjie <zhengjunjie@iscas.ac.cn> | 2024-09-12 13:25:35 +0800 |
| commit | cd9ad4efe89f63d45600ea4868a0d385b1b1ebee (patch) | |
| tree | 36cc89685c34b24987a6ec5ce384f00853e6c7e4 /build-aux | |
| parent | 35cc81b0bf65c08aff93a9323790c41b2660babf (diff) | |
| download | guix-cd9ad4efe89f63d45600ea4868a0d385b1b1ebee.tar.gz guix-cd9ad4efe89f63d45600ea4868a0d385b1b1ebee.zip | |
gnu: coq-bignums: Update to 9.0.0+coq8.18.
* gnu/packages/coq.scm (coq-bignums): Update to 9.0.0+coq8.18.
Change-Id: Ib34ec1d543775f96777dfe31990b6526f589bee6
Diffstat (limited to 'build-aux')
0 files changed, 0 insertions, 0 deletions