diff options
| author | Jean-Pierre De Jesus DIAZ <jean@foundation.xyz> | 2024-08-20 12:31:19 +0200 |
|---|---|---|
| committer | Zheng Junjie <zhengjunjie@iscas.ac.cn> | 2024-09-12 13:23:58 +0800 |
| commit | 35cc81b0bf65c08aff93a9323790c41b2660babf (patch) | |
| tree | 307cfbc93bc8812168e8050754d024adf7d43342 /.guix-authorizations | |
| parent | 114a77e55db43c5507ed25eb47543f2c8e9199df (diff) | |
| download | guix-35cc81b0bf65c08aff93a9323790c41b2660babf.tar.gz guix-35cc81b0bf65c08aff93a9323790c41b2660babf.zip | |
gnu: coq: Update to 8.18.0.
* gnu/packages/coq.scm (coq): Update to 8.18.0.
Change-Id: I644a4538538a23d736fca2fab541c2cd2fb1f472
Signed-off-by: Zheng Junjie <zhengjunjie@iscas.ac.cn>
Diffstat (limited to '.guix-authorizations')
0 files changed, 0 insertions, 0 deletions