185 Commits

Author	SHA1	Message	Date
Chen	19d66fab29	coqPackages_8_19.autosubst-ocaml: init at 1.1	2024-11-14 06:36:11 +01:00
Vincent Laporte	7a9a124cad	coqPackages.ExtLib: 0.12.1 → 0.12.2 ... Rename package from `coq-ext-lib` to `ExtLib`.	2024-11-07 14:55:06 +01:00
Pierre Roux	1be419decc	coqPackages.mathcomp-analysis: rename altreals to experimental-reals ... Following https://github.com/proux01/analysis/pull/new/experimental-reals	2024-11-06 09:56:01 +01:00
4ever2	51d1fd391a	Add MetaCoq-translations package	2024-10-31 11:09:26 +01:00
4ever2	2d4ee5cab7	Add MetaCoq sub-packages to coq-packages	2024-10-31 11:09:26 +01:00
Pierre Roux	9f128a2fb2	coqPackages.mathcomp-reals: init at 1.7.0 ... Following the package split in https://github.com/math-comp/analysis/pull/1349	2024-10-29 08:14:10 +01:00
StepBroBD	6d685d6728	coqPackages.coqutil: init at {0.0.5,0.0.6} (#349174)	2024-10-17 11:08:52 +02:00
4ever2	459c32e47e	coqPackages.RustExtraction: init at 0.1.0	2024-10-15 08:58:49 +02:00
Vincent Laporte	94d0d22817	ocamlPackages.elpi: use release tarball (#343266) ... coqPackages.metaFetch: Adding a github artifact option Co-authored-by: Cyril Cohen <cohen@crans.org>	2024-09-23 09:52:07 +02:00
Pierre Roux	71b1f2d98d	coqPackages.mtac2: init at 1.4-coq8.19	2024-09-16 09:58:24 +02:00
4ever2	0d319ecd53	coqPackages.ElmExtraction: init at 0.1.0 (#326305)	2024-09-11 05:51:15 +02:00
Pierre Roux	197b4434c9	coqPackages.coq: 8.20+rc1 -> 8.20.0	2024-09-04 16:01:47 +02:00
Pierre Roux	8ffc337b21	coqPackages.rewriter: init at 0.0.11	2024-08-28 14:39:54 +02:00
Pierre Roux	11985737dc	coqPackages.waterproof: init at 2.1.1+8.18	2024-08-27 16:00:55 +02:00
Pierre Roux	1a638589b3	coqPackages.bbv: init at 1.5	2024-08-27 11:47:40 +02:00
Pierre Roux	d5fd8a7c67	coqPackages.http: init at 0.2.1	2024-08-26 12:02:42 +02:00
Pierre Roux	67aab88f9d	coqPackages.async-test: init at 0.1.0	2024-08-26 12:02:42 +02:00
Pierre Roux	03bfa3c1a4	coqPackages.json: init at 0.1.3	2024-08-26 12:02:42 +02:00
Pierre Roux	695b7ae933	coqPackages.itree-io: init at 0.1.1	2024-08-26 12:02:42 +02:00
Pierre Roux	43aaea3618	coqPackages.atbr: init at 8.20.0	2024-08-22 10:36:04 +02:00
damhiya	5a3fe0fa46	coqPackages.MenhirLib: init at 20240715	2024-08-20 14:58:36 +02:00
Pierre Roux	9134617536	coqPackages.coinduction: init at 1.9	2024-08-07 15:44:13 +02:00
Pierre Roux	a69fe54c49	coqPackages.stalmarck: init at 8.20.0	2024-08-07 12:15:20 +02:00
Vincent Laporte	ee96b8a3cf	Merge pull request #329695 from definfo/coq-high-school-geometry-8.16 ... coqPackages.high-school-geometry: init at 8.16	2024-07-31 09:52:37 +02:00
Martin Weinelt	852453aae1	coqPackages: restor recurseIntoAttrs ... Fixes: 0213840 ("pythonPackages: move __attrsFailEvaluation to allo...")	2024-07-26 18:01:21 +02:00
definfo	b1d0e56bc4	coqPackages.high-school-geometry: init at 8.16	2024-07-24 23:57:23 +08:00
Philip Taron	4640ede492	coqPackages: allow one level of introspection before applying __attrsFailEvaluation	2024-07-04 14:02:42 -07:00
Pierre Roux	971ef0c694	coq_8_20: init at 8.20+rc1 (#323105)	2024-06-28 15:47:38 +02:00
Vincent Laporte	90e35645fc	coqPackages.coq-hammer: init at 1.3.2	2024-06-27 07:09:32 +02:00
Vincent Laporte	b8a048b959	coqPackages.coq-hammer-tactics: init at 1.3.2	2024-06-27 07:09:32 +02:00
Vincent Laporte	9c479cf090	compcert: 3.13.1 → 3.14 (#308752)	2024-05-03 14:47:10 +00:00
Sebastian Ertel	ea51404f4e	coqPackages.ssprove: init at 0.2.0 (#306981)	2024-05-03 11:32:09 +02:00
Vincent Laporte	0a379ae698	coq: default to version 8.19	2024-04-29 20:45:04 +02:00
Vincent Laporte	e976fa8f49	coqPackages.vcfloat: enable for Coq 8.18 & 8.19	2024-04-02 22:41:01 +02:00
Vincent Laporte	cffe0a32af	coqPackages.interval: 4.9.0 → 4.10.0	2024-04-02 22:41:01 +02:00
Vincent Laporte	453b69da7a	coqPackages.VplTactic: init at 0.5	2024-03-15 10:24:58 +01:00
Vincent Laporte	4027ca26b9	coqPackages.Vpl: init at 0.5	2024-03-15 10:24:58 +01:00
Cyril Cohen	4116f0379e	coqPackages.vscoq-language-server: init at 2.0.3 (#256515)	2024-02-01 10:10:43 +01:00
Vincent Laporte	7ff0562792	coqPackages.compcert: use OCaml 4.14	2024-01-22 08:36:01 +01:00
Pierre Roux	d77d8f69f7	coq_8_19: init at 8.19+rc1	2023-12-19 14:41:20 +01:00
Adam Joseph	80472e3754	treewide: add __attrsFailEvaluation and __recurseIntoDerivationForReleaseJobs	2023-12-15 05:13:46 -08:00
Vincent Laporte	2ec2d68238	coqPackages.VST: 2.12 → 2.13 ... coqPackages.compcert: 3.13 → 3.13.1	2023-11-27 03:57:47 +01:00
ineol	6a63b4a97a	coqPackages.iris-named-props: new expression (#263100)	2023-11-10 08:37:23 +01:00
Vincent Laporte	42bea51aa7	coqPackages.VST: 2.11.1 → 2.12	2023-11-01 07:07:41 +01:00
Quinn Dougherty	c7634cf59a	coqPackages.vcfloat: init at 2.1.1	2023-09-29 23:57:07 +02:00
Vincent Laporte	2abfae9e9b	coq: 8.17.1 -> 8.18.0	2023-09-21 11:02:55 +02:00
Vincent Laporte	02643fe422	coq_8_18: init at 8.18+rc1	2023-09-04 10:02:59 +02:00
Vincent Laporte	84821b9769	coqPackages.paco: 4.1.2 → 4.2.0	2023-08-03 04:30:34 +02:00
Vincent Laporte	055d78335d	coqPackages.bignums: 8.17.0 → 9.0.0+coq8.17	2023-07-25 03:45:12 +02:00
affeldt-aist	8a92dd9a9a	mathcomp-infotheo: init at 0.5.1 (#231077)	2023-05-11 23:09:28 +02:00