aboutsummaryrefslogtreecommitdiff
path: root/gnu/installer/newt/locale.scm
diff options
context:
space:
mode:
Diffstat (limited to 'gnu/installer/newt/locale.scm')
0 files changed, 0 insertions, 0 deletions
pan title='2024-09-12 14:29:13 +0800'>2024-09-12gnu: coq-bignums: Update style....* gnu/packages/coq.scm (coq-bignums)[arguments]: Use G-expression. Change-Id: Ib34ec1d543775f96777dfe31990b6526f589bee6 Zheng Junjie 2024-09-12gnu: 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 Zheng Junjie 2024-09-12gnu: 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> Jean-Pierre De Jesus DIAZ 2024-09-12gnu: coq: Propagate ocaml-zarith....Otherwise each Coq plugin needs to specify it. * gnu/packages/coq.scm (coq)[inputs]: Move ocaml-zarith from here... [propagated-inptus]: ... to here. (coq-gappa)[inputs]: Remove ocaml-zarith. (coq-bignums)[inputs]: Likewise. (coq-interval)[inputs]: Likewise. (coq-equations)[inputs]: Likewise. Change-Id: I63cab11032cc6d4673efc9fdcf14be2929bda05e Signed-off-by: Zheng Junjie <zhengjunjie@iscas.ac.cn> Jean-Pierre De Jesus DIAZ 2024-06-26gnu: proof-general: Update to 4.5@cb23709a....* gnu/packages/coq.scm (proof-general): Update to 4.5@cb23709a. Change-Id: Ieb33d8a0effa4c010d1f2488e166cd0647240180 Signed-off-by: Christopher Baines <mail@cbaines.net> Arnaud Daby-Seesaram 2024-06-23gnu: coq-autosubst: Fix Coq 8.19 compatibility....* gnu/packages/patches/coq-autosubst-1.8-remove-deprecated-files.patch: New patch. * gnu/local.mk (dist_patch_DATA): Register patch. * gnu/packages/coq.scm (coq-autosubst)<source>: Use Coq 8.19 compatibility patch. Change-Id: Ib705c92b5605c6b679224f471ff12c018842c006 Signed-off-by: Andreas Enge <andreas@enge.fr> Jean-Pierre De Jesus DIAZ 2024-06-16gnu: coq-stdpp: Update to 1.10.0....* gnu/packages/coq.scm (coq-stdpp): Update to 1.10.0. Change-Id: Icea37b785c03196baa88a92ced3ac9dc25079546 Signed-off-by: Andreas Enge <andreas@enge.fr> Jean-Pierre De Jesus DIAZ 2024-06-16gnu: coq-mathcomp: Update to 1.19.0....* gnu/packages/coq.scm (coq-mathcomp): Update to 1.19.0. Change-Id: Icf72f91c09aa0504d7175d437a1cf75020751335 Signed-off-by: Andreas Enge <andreas@enge.fr> Jean-Pierre De Jesus DIAZ 2024-06-16gnu: coq-interval: Update to 4.10.0....* gnu/packages/coq.scm (coq-interval): Update to 4.10.0. Change-Id: If5be16804fefdca04b52a91cf3f52484c486fea8 Signed-off-by: Andreas Enge <andreas@enge.fr> Jean-Pierre De Jesus DIAZ 2024-06-16gnu: coq-gappa: Update to 1.5.5....* gnu/packages/coq.scm (coq-gappa): Update to 1.5.5. Change-Id: Iaf0077a8081d7ba30aeb1bded3bc36570df88283 Signed-off-by: Andreas Enge <andreas@enge.fr> Jean-Pierre De Jesus DIAZ 2024-06-16gnu: coq-coquelicot: Update to 3.4.1....* gnu/packages/coq.scm (coq-coquelicot): Update to 3.4.1. Change-Id: I9330c7d98b881c051f4f03dfdf7f1be9e3f26aa6 Signed-off-by: Andreas Enge <andreas@enge.fr> Jean-Pierre De Jesus DIAZ 2024-05-15gnu: 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> Jean-Pierre De Jesus DIAZ