Vincent Laporte
|
94c97dfa94
|
coqPackages.QuickChick: 1.5.0 → 1.6.2
|
2 years ago |
|
Kenji Maillard
|
86a6908045
|
coqPackages.metacoq: create package (#162639)
|
2 years ago |
|
Vincent Laporte
|
10b2632716
|
coqPackages.simple-io: 1.3.0 → 1.7.0
|
2 years ago |
|
Vincent Laporte
|
95261182f0
|
coqPackages.parsec: 0.1.0 → 0.1.1
|
2 years ago |
|
Vincent Laporte
|
52dfc053d0
|
coqPackages.tlc: 20210316 → 20211215
|
2 years ago |
|
Vincent Laporte
|
a231ab1096
|
coqPackages.coqtail-math: 20201124 → 8.14
|
2 years ago |
|
Vincent Laporte
|
5e718d7071
|
coqPackages.metalib: clean & init at 8.15
|
2 years ago |
|
Vincent Laporte
|
68322e1297
|
coqPackages.mathcomp-word: 1.0 → 1.1
|
2 years ago |
|
Vincent Laporte
|
834faa24b4
|
coqPackages.Verdi: 20210524 → 20211026
|
2 years ago |
|
Ben Siraphob
|
259fa13d53
|
treewide: remove nativeBuildInputs that are in stdenv
|
2 years ago |
|
Ben Siraphob
|
a1244414d5
|
coqPackages.smtcoq: init at itp22
|
2 years ago |
|
Ben Siraphob
|
8566253746
|
coqPackages.trakt: init at 1.0
|
2 years ago |
|
Vincent Laporte
|
72f3b1a4d1
|
coqPackages.CoLoR: 1.8.1 → 1.8.2
|
2 years ago |
|
Vincent Laporte
|
ffe759bb5b
|
coqPackages.gappalib: 1.5.0 → 1.5.1
|
2 years ago |
|
Vincent Laporte
|
1ea4550773
|
coqPackages.coqprime: 8.14.1 → 8.15
|
2 years ago |
|
Vincent Laporte
|
bee11786f6
|
coqPackages.relation-algebra: 1.7.6, 1.7.7
|
2 years ago |
|
Vincent Laporte
|
ff32bb3cf2
|
coqPackages.aac-tactics: 8.13.2, 8.14.1, 8.15.1
|
2 years ago |
|
Vincent Laporte
|
ff83e827b5
|
coqPackages.VST: fix build with Coq 8.15.1
|
2 years ago |
|
Vincent Laporte
|
9e4d58db80
|
compcert: add support for Coq 8.15.1
|
2 years ago |
|
Ulrik Strid
|
7e20e9039e
|
coqPackages: tree-wide move packages to nativeBuildInputs and add strictDeps = true
Co-authored-by: Vincent Laporte <vbgl@users.noreply.github.com>
|
2 years ago |
|
Vincent Laporte
|
3b50449992
|
coqPackages.iris: 3.5.0 → 3.6.0
coqPackages.stdpp: 1.6.0 → 1.7.0
|
2 years ago |
|
Vincent Laporte
|
df5c6e08b8
|
coqPackages_8_15.coqhammer: enable at 1.3.2
|
2 years ago |
|
Théo Zimmermann
|
61ac416992
|
coqPackages.hydra-battles: fix version checking logic
With this change, the derivation can be relied on without overlay in the upstream project.
|
2 years ago |
|
Théo Zimmermann
|
450eab2ca7
|
coqPackages_8_14.gaia-hydras: 0.5 -> 0.6
|
2 years ago |
|
Théo Zimmermann
|
8208c3eec8
|
coqPackages.addition-chains: 0.5 -> 0.6
|
2 years ago |
|
Théo Zimmermann
|
d0bb08b5cc
|
coqPackages.hydra-battles: 0.5 -> 0.6
|
2 years ago |
|
Théo Zimmermann
|
7fa2a7232d
|
coqPackages.LibHyps: init at 2.0.4.1
|
2 years ago |
|
Enrico Tassi
|
15d1c96f91
|
coq-elpi: 1.12.1 -> 1.13.0
|
2 years ago |
|
Vincent Laporte
|
6d5e3764dd
|
coqPackages.VST: 2.8 → 2.9
|
2 years ago |
|
Vincent Laporte
|
dd09b52700
|
coqPackages.ITree: enable for Coq 8.15
|
2 years ago |
|
Vincent Laporte
|
c845a272a5
|
coqPackages.compcert: enable for Coq 8.15
and make version 3.9 the default for Coq 8.12
|
2 years ago |
|
Vincent Laporte
|
8199da6293
|
coqPackages_8_15.dpdgraph: init at 1.0+8.15
|
2 years ago |
|
Pierre Roux
|
ced4ffe645
|
Add odd-order 1.13.0
|
2 years ago |
|
Pierre Roux
|
2768c9d4cb
|
Adapt to Coq 8.15 and MathCOmp 1.14
|
2 years ago |
|
Pierre Roux
|
7846d0278e
|
mathcomp-abel compiles with Coq 8.15
|
2 years ago |
|
Cyril Cohen
|
dffe2434ae
|
coqPackages.mathcomp: 1.13.0 -> 1.14.0
|
2 years ago |
|
Théo Zimmermann
|
51d92e5c6e
|
coqPackages_8_15.paramcoq: init at 1.1.3+coq8.15
|
2 years ago |
|
Théo Zimmermann
|
4632498895
|
coqPackages.gaia: mark as compatible with Coq 8.15
|
2 years ago |
|
Théo Zimmermann
|
247cc00c9e
|
coqPackages.mathcomp-zify: mark as compatible with Coq 8.15
|
2 years ago |
|
Théo Zimmermann
|
eb1b39787f
|
coqPackages_8_15.serapi: init at 8.15.0+0.15.0
And also clean up rc version for Coq 8.15.
|
2 years ago |
|
José Romildo Malaquias
|
a01cad0d0f
|
ocamlPackages.ppx_import: 1.8.0 -> 1.9.1 (#156399)
* ocamlPackages.ppx_import: 1.8.0 -> 1.9.1
* coqPackages.serapi: fix compilation with ppx_import-1.9.1
|
2 years ago |
|
Théo Zimmermann
|
7e149abe9d
|
coqPackages.reglang: mark as compatible with Coq 8.15
|
2 years ago |
|
Théo Zimmermann
|
4b7398fe10
|
coqPackages_8_15.equations: init at 1.3+8.15
|
2 years ago |
|
Théo Zimmermann
|
f18e742079
|
coqPackages.deriving: mark as compatible with Coq 8.15
|
2 years ago |
|
Théo Zimmermann
|
ec85449f80
|
coqPackages.coq-record-update: mark as compatible with Coq 8.15
|
2 years ago |
|
Théo Zimmermann
|
e290bc12f7
|
coqPackages.coq-ext-lib: 0.11.4 -> 0.11.6
Compatibility with Coq 8.15.
|
2 years ago |
|
Théo Zimmermann
|
075b606ef9
|
coqPackages.corn: mark as compatible with Coq 8.15
|
2 years ago |
|
Théo Zimmermann
|
e40a892f11
|
coqPackages.math-classes: 8.13.0 -> 8.15.0
Compatibility with Coq 8.15.
|
2 years ago |
|
Ben Siraphob
|
28d7cd8c46
|
coqPackages.CoLoR: update homepage
|
2 years ago |
|
Ben Siraphob
|
fc8e7c963d
|
coqPackages.semantics: add 8.14.0
|
2 years ago |
