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
Steven Keuchel
033ae0168a
compcert: add riscv-linux targets
2024-03-12 11:12:32 +01:00
Yueh-Shun Li
91b3db1309
treewide: fix sourceRoot for fetchgit-based src
...
According to Nixpkgs manual[1] and NixOS 23.11 Release Note[2], the
`sourceRoot` attribute passed to `stdenv.mkDerivation` should be
specified as `"${src.name}"` or `"${src.name}/subdir"` when `src` is
produced using `fetchgit`-based fetchers.
`sourceRoot = "source"` or `sourceRoot = "source/subdir"` is based on
the assumption that the `name` attribute of these pre-unpacked fetchers
are always `"source"`, which is not the case. Expecting constant `name`
also makes the source FODs prone to irrelevent hashes during version
bumps.
[1]: https://nixos.org/manual/nixpkgs/unstable/#var-stdenv-sourceRoot
[2]: https://nixos.org/manual/nixos/stable/release-notes#sec-release-23.11
2024-03-09 07:53:25 +08:00
Léo Stefanesco
07fbc0bb0f
coqPackages.coq-record-update: 0.3.1 -> 0.3.3
2024-02-22 08:37:15 +01:00
Ali Caglayan
8398a209b6
coqPackages.{serapi,coq-lsp}: {8.18.0+0.18.0,0.1.8+8.18.0} -> {8.19.0+0.19.0,0.1.8+8.19.0} ( #288185 )
...
* coqPackages.serapi: 8.18.0+0.18.0 -> 8.19.0+0.19.0
* coqPackages.coq-lsp: 0.1.8+8.18 -> 0.1.8+8.19
Signed-off-by: Ali Caglayan <alizter@gmail.com>
2024-02-16 08:59:26 +01:00
Ben Siraphob
3b3b81a253
Merge pull request #286807 from siraben/smtcoq-versions
...
coqPackages.smtcoq: expand to more supported versions
2024-02-12 15:41:11 -05:00
Ben Siraphob
ea5f5df1c7
coqPackages.smtcoq: expand to more supported versions
2024-02-12 15:40:25 -05:00
Sebastian
6ed38373dc
coqPackages.mathcomp-analysis: 0.6.6 -> 1.0.0 ( #285276 )
...
Co-authored-by: Pierre Roux <pierre.roux@onera.fr>
2024-02-09 18:24:43 +01:00
Cyril Cohen
4116f0379e
coqPackages.vscoq-language-server: init at 2.0.3 ( #256515 )
2024-02-01 10:10:43 +01:00
Pierre Roux
145b429851
coqPackages_8_19.mathcomp-real-closed
2024-01-26 19:35:30 +01:00
Pierre Roux
2114214e50
coqPackages_8_19.multinomials
2024-01-26 19:35:30 +01:00
Pierre Roux
d25c59bebb
coqPackages_8_19.extructures
2024-01-26 19:35:30 +01:00
Pierre Roux
523c093518
coqPackages_8_19.mathcomp-algebra-tactics
2024-01-26 19:35:30 +01:00
Pierre Roux
aad90cd395
coqPackages_8_19.reglang
2024-01-26 19:35:30 +01:00
Pierre Roux
a7c7c0b6e4
coqPackages_8_19.coqprime
2024-01-26 19:35:30 +01:00
Pierre Roux
9a39384065
coqPackages.coquelicot: 3.4.0 -> 3.4.1
2024-01-26 19:35:30 +01:00
Pierre Roux
5cc532b336
coqPackages_8_19.QuickChick
2024-01-26 19:35:30 +01:00
Pierre Roux
9e6484a32d
coqPackages_8_19.ITree
2024-01-26 19:35:30 +01:00
Pierre Roux
b57a1c6934
coqPackages_8_19.paco
2024-01-26 19:35:30 +01:00
Pierre Roux
c61980d92b
coqPackages.flocq: 4.1.3 -> 4.1.4
2024-01-26 19:35:30 +01:00
Pierre Roux
49e703cde2
Add Coqeal 2.0.1 and algebra-tactics 1.2.3
2024-01-19 10:46:00 +01:00
Vincent Laporte
6088947f52
coqPackages.smtcoq.cvc4: fix build by building CLN in the same stdenv
2024-01-18 14:24:48 +01:00
Vincent Laporte
2fba629f59
coqPackages.QuickChick: 2.0.1 → 2.0.2
2024-01-18 06:03:06 +01:00
Pierre Roux
2c7c560330
coqPackages.mathcomp: 2.1.0 -> 2.2.0
2024-01-17 15:40:16 +01:00
Pierre Roux
e1f1b5bcd2
coqPackages.mathcomp: 1.18.0 -> 1.19.0
2024-01-16 10:34:25 +01:00
Cyril Cohen
18e59521cd
coqPackages.hierarchy-builder: 1.5.0 -> 1.7.0 ( #280269 )
...
* coqPackages.hierarchy-builder: 1.5.0 -> 1.7.0
* removing trakt for 8.18 for now at least
2024-01-12 07:07:15 +01:00
Pierre Roux
9c5eec2b20
coqPackages.coq-elpi: 1.19.0 -> 2.0.1
2024-01-02 18:39:20 +01:00
Pierre Roux
7c0435d86d
Bump a few things compiling with Coq 8.19
2023-12-19 20:20:53 +01:00
Pierre Roux
77f1a05307
coqPackages.paramcoq: 8.18 -> 8.19
2023-12-19 14:41:21 +01:00
Pierre Roux
cc3dbddd4a
coqPackages.bignums: 8.18 -> 8.19
2023-12-19 14:41:21 +01:00
Pierre Roux
d77d8f69f7
coq_8_19: init at 8.19+rc1
2023-12-19 14:41:20 +01:00
Vincent Laporte
0c38aa9ce8
coqPackages.QuickChick: 1.6.5 → 2.0.1
2023-12-13 06:11:56 +01:00
larsr
5d43a8764f
coqPackages.metacoq: update for coq 8.17 and 8.18 ( #273541 )
...
Also update default.nix to match the default.nix in
MetaCoq/metacoq:.nix/coq-overlays/metacoq/default.nix
Because some files have changed names, some version-dependent
building is required to keep building older versions.
And Metacoq's default.nix had older version checksums.
We use the more recent versions from nixpkgs for coq 8.14-8.16
Co-authored-by: Lars Rasmusson <Lars.Rasmusson@rise>
2023-12-12 07:19:37 +01:00
github-actions[bot]
367355c966
Merge master into staging-next
2023-12-08 12:01:36 +00:00
Vincent Laporte
eeee184c00
coqPackages.coq-ext-lib: 0.11.8 → 0.12.0
2023-12-08 12:56:41 +01:00
github-actions[bot]
397840014f
Merge master into staging-next
2023-12-05 06:00:59 +00:00
Vincent Laporte
6225a51060
coqPackages_8_16: fix evaluation with math-comp ≥ 2.0
...
Disable coq-bits, extructures, and gaia-hydra
2023-12-05 06:56:28 +01:00
Vladimír Čunát
305cd929fd
Merge branch 'staging' into staging-next
2023-12-01 07:33:49 +01:00
Vincent Laporte
0881edb66a
coqPackages.{hydra-battles,gaia-hydras}: 0.6 → 0.9
2023-11-30 09:40:04 +01:00
Vincent Laporte
3687843675
coqPackages.gaia: 1.15 → 1.17
2023-11-30 09:40:04 +01:00
github-actions[bot]
e2e339af90
Merge staging-next into staging
2023-11-29 06:01:32 +00:00
Vincent Laporte
76c5738ef2
coqPackages.mathcomp-word: 2.1 → {2.2, 3.0}
2023-11-29 06:31:24 +01:00
github-actions[bot]
9f668e83bd
Merge staging-next into staging
2023-11-27 06:01:28 +00: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
Artturi
4b27e14f8c
Merge pull request #265738 from Artturin/patchshebangcon
...
stdenv: run patchShebangs on the configure script when it's a file
2023-11-26 01:28:41 +02:00
Artturin
20591326aa
treewide: remove unnecessary patching of configure script
...
The configure phase of `stdenv` now runs `patchShebangs` on
`configureScript`.
Did not remove `patchShebangs` in packages which override `configurePhase`
2023-11-25 18:16:12 +02:00
Vincent Laporte
606d32f357
coqPackages.ITree: 5.1.1 → 5.1.2
2023-11-17 13:59:33 +01:00
Vincent Laporte
73e2e4c0f3
coqPackages.dpdgraph: remove for Coq < 8.7
...
ocamlgraph is no longer available for older versions of Coq
2023-11-17 13:59:33 +01:00
Vincent Laporte
f78667f7bd
coqPackages.coqprime: 8.17 → 8.18
2023-11-17 13:59:33 +01:00
