Vincent Laporte
81537e0656
coqPackages.mathcomp-word: 3.1 → 3.2; 2.3 → 2.4
2024-05-31 20:55:19 +02:00
Ali Caglayan
c49ca8273d
coq-lsp: 0.1.8 -> 0.1.9
...
Signed-off-by: Ali Caglayan <alizter@gmail.com>
2024-05-31 17:51:29 +02:00
Sigmanificient
8b473d1a27
treewide: remove unused fetch* (and other) arguments
2024-05-30 13:36:48 +02:00
Vincent Laporte
150a859d34
coqPackages.mathcomp-infotheo: 0.6.1 → 0.7.1
2024-05-27 05:31:26 +02:00
Vincent Laporte
8c03ab6569
coqPackages.graph-theory: 0.9.3 → 0.9.4
2024-05-24 06:09:40 +02:00
Léo Stefanesco
1e9759cb37
coqPackages.coq-record-update: 0.3.3 -> 0.3.4
2024-05-06 14:15:24 +02:00
Vladimír Čunát
e96601ecf0
Merge #306080 : staging-next 2024-04-22
2024-05-03 17:36:08 +02:00
Vincent Laporte
9c479cf090
compcert: 3.13.1 → 3.14 ( #308752 )
2024-05-03 14:47:10 +00:00
github-actions[bot]
ae736c738d
Merge master into staging-next
2024-05-03 12:01:32 +00:00
Sebastian Ertel
ea51404f4e
coqPackages.ssprove: init at 0.2.0 ( #306981 )
2024-05-03 11:32:09 +02:00
Jan Tojnar
eb04659fc2
treewide: wrapGAppsHook → wrapGAppsHook3
...
This was achieved using the following command:
sd 'wrapGAppsHook\b' wrapGAppsHook3 (rg -l 'wrapGAppsHook\b')
And then manually reverted the following changes:
- alias in top-level.nix
- function name in wrap-gapps-hook.sh
- comment in postFixup of at-spi2-core
- comment in gtk4
- comment in preFixup of 1password-gui/linux.nix
- comment in postFixup of qgis/unwrapped-ltr.nix and qgis/unwrapped.nix
- comment in postFixup of telegram-desktop
- comment in postFixup of fwupd
- buildCommand of mongodb-compass
- postFixup of xflux-gui
- comment in a patch in kdePackages.kde-gtk-config and plasma5Packages.kde-gtk-config
- description of programs.sway.wrapperFeatures.gtk NixOS option (manual rebuild)
2024-04-27 02:23:22 +02:00
Vincent Laporte
c82a0a78f6
coqPackages.math-classes: 8.18.0 → 8.19.0
...
coqPackages.corn: 8.18.0 → 8.19.0
2024-04-26 11:18:25 +02:00
Mario Rodas
2becf6e837
maintainers: drop marsam
2024-04-24 04:20:00 +00:00
Vincent Laporte
f1e8e4837d
coqPackages.CoLoR: 1.8.4 → 1.8.5
2024-04-19 13:52:00 +02:00
Vincent Laporte
1b411ccbf3
coqPackages.stdpp: 1.9.0 → 1.10.0
...
coqPackages.iris: 4.1.0 → 4.2.0
2024-04-15 10:13:00 +02:00
Vincent Laporte
2f8b02e883
coqPackages.vscoq-language-server: 2.0.3 → 2.1.2
2024-04-08 20:48:40 +02:00
Weijia Wang
719845c115
Merge pull request #291867 from r-ryantm/auto-update/coqPackages.LibHyps
...
coqPackages.LibHyps: 2.0.4.1 -> 2.0.8
2024-04-05 20:39:20 +02:00
Vincent Laporte
e976fa8f49
coqPackages.vcfloat: enable for Coq 8.18 & 8.19
2024-04-02 22:41:01 +02:00
Vincent Laporte
c02cbef6a9
coqPackages.gappalib: 1.5.4 → 1.5.5
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
3c336f3089
coqPackages.Vpl: fix meta
2024-04-02 07:06:45 +02:00
K900
59bccda153
Revert "stdenv: add meta.repository field"
...
This reverts commit 7e1443abbb
2024-03-30 17:19:21 +03:00
a-n-n-a-l-e-e
2809c84cfb
Merge pull request #294347 from lolbinarycat/meta.repository
...
stdenv: add meta.repository field
2024-03-29 13:03:04 -07:00
binarycat
7e1443abbb
stdenv: add meta.repository field
2024-03-29 14:34:09 -04:00
Vincent Laporte
824952ff6b
coqPackages.metacoq: 1.2.1 → 1.3.1
2024-03-29 14:00:42 +01:00
Vincent Laporte
e0188a425e
coqPackages_8_19.HoTT: init at 8.19
2024-03-28 06:24:51 +01:00
Vincent Laporte
08883e5864
coqPackages_8_19.dpdgraph: init at 1.0+8.19
2024-03-28 06:24:51 +01:00
Vincent Laporte
e94ef3d054
coqPackages.VST: 2.13 → 2.14
2024-03-23 07:25:06 +01:00
Vincent Laporte
d3babf24b7
compcert: make compatible with Coq 8.18–8.19
2024-03-23 07:25:06 +01:00
Vincent Laporte
d70d9425f4
coqPackages.mathcomp-word: 2.2 → 2.3
2024-03-22 08:08:45 +01:00
stuebinm
ff1a94e523
treewide: add meta.mainProgram to packages with a single binary
...
The nixpkgs-unstable channel's programs.sqlite was used to identify
packages producing exactly one binary, and these automatically added
to their package definitions wherever possible.
2024-03-19 03:14:51 +01:00
Vincent Laporte
96df16fbd3
coqPackages_8_19.itauto: init at 8.19.0
2024-03-18 20:24:21 +01:00
Vincent Laporte
fd88853771
coqPackages_8_19.equations: init at 1.3+8.19
2024-03-18 20:24:21 +01:00
Vincent Laporte
9c14523202
coqPackages_8_19.aac-tactics: init at 8.19.0
2024-03-18 20:24:21 +01: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
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
R. Ryantm
90211718d9
coqPackages.LibHyps: 2.0.4.1 -> 2.0.8
2024-02-27 15:46:08 +00: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
Vincent Laporte
a19ba12bc0
coqPackages_8_18.dpdgraph: init at 1.0+8.18
2023-11-17 13:59:33 +01:00
Pierre Roux
c2892b3fc9
coqPackages.mathcomp: 1.17.0 -> 1.18.0 ( #265046 )
...
* coqPackages.mathcomp: 1.17.0 -> 1.18.0
* coqPackages.mathcomp-analysis: 0.6.5 -> 0.6.6
2023-11-15 13:22:46 +01:00
Vincent Laporte
e8ad54f562
coqPackages.gappalib: 1.5.3 → 1.5.4
2023-11-15 06:38:59 +01:00
Vincent Laporte
e06c716ef1
coqPackages.interval: 4.8.0 → 4.9.0 ( #266082 )
2023-11-10 08:38:13 +01:00
ineol
6a63b4a97a
coqPackages.iris-named-props: new expression ( #263100 )
2023-11-10 08:37:23 +01:00
Quinn Dougherty
a0eb0aa889
coqPackages.vcfloat: fix
2023-11-09 06:43:48 +01:00
Vincent Laporte
42bea51aa7
coqPackages.VST: 2.11.1 → 2.12
2023-11-01 07:07:41 +01:00
Pierre Roux
113bbeb1eb
fourcolor: 1.3.0 -> 1.3.1
2023-10-31 08:17:03 +01:00
Pierre Roux
fc9f61fa96
Add various mathcomp 2.1 versions
2023-10-31 08:17:03 +01:00
Théo Zimmermann
01af077865
coqPackages.coq-lsp: 0.1.7 -> 0.1.8
2023-10-26 10:13:24 +02:00
Arthur Azevedo de Amorim
0540b29909
Update pkgs/development/coq-modules/extructures/default.nix
...
Co-authored-by: Vincent Laporte <vbgl@users.noreply.github.com>
2023-10-25 18:19:16 +02:00
Arthur Azevedo de Amorim
e5de9895e8
coqPackages.extructures: 0.3.1 -> 0.4.0
2023-10-25 18:19:16 +02:00
Pierre Roux
c0c7836116
Add mathcomp 2.1.0
2023-10-25 17:45:56 +02:00
Vincent Laporte
b845260c90
coqPackages.corn: 8.16.0 → 8.18.0
2023-10-25 07:56:54 +02:00
Vincent Laporte
99d78d2fb7
coqPackages.math-classes: 8.17.0 → 8.18.0
2023-10-25 07:56:54 +02:00
Arthur Azevedo de Amorim
f4ec563c1d
coqPackages.deriving: 0.1.1 -> 0.2.0 ( #258038 )
...
Co-authored-by: Théo Zimmermann <theo.zimmermann@telecom-paris.fr>
2023-10-17 16:24:58 +02:00
Théo Zimmermann
4437483938
Merge pull request #258096 from quinn-dougherty/init-coqPackages-vcfloat
...
coqPackages.vcfloat: init at 2.1.1
2023-10-17 15:02:09 +02:00
Léo Stefanesco
8de5195ec4
coqPackages.stdpp: 1.8 -> 1.9, coqPackages.iris: 4.0 -> 4.1
2023-10-13 13:15:46 +02:00
Quinn Dougherty
c7634cf59a
coqPackages.vcfloat: init at 2.1.1
2023-09-29 23:57:07 +02:00
Vincent Laporte
df33946f5e
coqPackages.serapi: fix build with Coq 8.16
2023-09-26 14:10:44 +02:00
Vincent Laporte
7c33c8d452
coqPackages.itauto: enable for Coq 8.18
2023-09-21 11:02:55 +02:00
Vincent Laporte
0de60535c9
coqPackages.flocq: 4.1.1 → 4.1.3
2023-09-21 11:02:55 +02:00
Weijia Wang
85fd874639
compcert: add aarch64 support
2023-09-19 13:30:30 +02:00
Ali Caglayan
6b614db040
coqPackages.coq-lsp: 0.1.7+8.17 -> 0.1.7+8.18
...
Signed-off-by: Ali Caglayan <alizter@gmail.com>
2023-09-15 16:17:16 +02:00
Ali Caglayan
9d696c09f9
coqPackages.serapi: 8.17.0+0.17 -> 8.18.0+0.18
...
Signed-off-by: Ali Caglayan <alizter@gmail.com>
2023-09-15 16:17:16 +02:00
Pierre Roux
ae24e3e528
Add a few packages for Coq 8.18 and MathComp 2.0
2023-09-04 10:02:59 +02:00
Vincent Laporte
02643fe422
coq_8_18: init at 8.18+rc1
2023-09-04 10:02:59 +02:00
Pierre Roux
7e87f6c593
topology: 9.0.0 -> 10.2.0
2023-09-04 10:02:59 +02:00
Pierre Roux
946120336e
ocamlPackages.elpi: 1.16.5 → 1.17.0
2023-09-01 10:02:18 +02:00
Dimitrije Radojević
9b4d043ba2
ocamlPackages.janestreet: 0.15 -> 0.16 ( #247022 )
2023-08-31 07:46:20 +02:00
Vincent Laporte
e8083f3021
coqPackages.coq-elpi: 1.17.0 → 1.18.0
2023-08-29 06:47:28 +02:00
Vincent Laporte
2ae7493cb6
coqPackages.hierarchy-builder: 1.4.0 → 1.5.0
2023-08-28 07:36:16 +02:00
Jan Malakhovski
5852f26bdc
treewide: noop: refer to src.name or similar in sourceRoot where appropriate, part 1: trivial cases
2023-08-03 16:32:03 +00:00
Vincent Laporte
84821b9769
coqPackages.paco: 4.1.2 → 4.2.0
2023-08-03 04:30:34 +02:00
Steven Keuchel
2796baace8
coqPackages_8_17.iris: init at 4.0.0
2023-08-02 22:17:26 +02:00
Vincent Laporte
5890239093
coqPackages.coquelicot: 3.3.1 → 3.4.0
2023-07-28 08:39:50 +02:00
Vincent Laporte
16d5bc3418
coqPackages.interval: 4.7.0 → 4.8.0
2023-07-28 08:26:05 +02:00
Théo Zimmermann
4a5e022304
coqPackages.trakt: fix documented license
2023-07-27 08:37:02 +02:00
Théo Zimmermann
53ef5765ad
coqPackages.trakt: add recent versions
2023-07-27 08:37:02 +02:00
Vincent Laporte
d54c57e93c
coqPackages.coq-ext-lib: 0.11.7 → 0.11.8
2023-07-27 05:24:26 +02:00
Vincent Laporte
72c7597d20
coqPackages.parsec: 0.1.1 → 0.1.2
2023-07-25 04:36:39 +02:00
Vincent Laporte
335de7152a
coqPackages.ceres: 0.4.0 → 0.4.1
2023-07-25 04:36:39 +02:00
Vincent Laporte
055d78335d
coqPackages.bignums: 8.17.0 → 9.0.0+coq8.17
2023-07-25 03:45:12 +02:00
Léo Stefanesco
00d2abe875
coqPackages.coq-lsp: 0.1.6.1 -> 0.1.7
2023-07-21 13:28:51 +02:00
Vincent Laporte
84637a672b
coqPackages.compcert: enable for Coq 8.17
2023-07-17 07:47:50 +02:00
Vincent Laporte
5c514d49ca
coqPackages.compcert: 3.12 → 3.13
2023-07-17 07:47:50 +02:00
Léo Stefanesco
526df2136c
coqPackages.autosubst: 1.7 -> 1.8
2023-07-13 13:36:20 +02:00
Felix Buehler
bec27fabee
treewide: use lib.optional instead of 'then []'
2023-07-12 09:36:28 +01:00
Vincent Laporte
3a512ee975
coqPackages.ITree: 5.1.0 → 5.1.1
2023-07-11 23:39:52 +02:00
Nick Cao
91d5bd5869
Merge pull request #241221 from vbgl/coq-CoLoR-1.8.4
...
coqPackages.CoLoR: 1.8.3 → 1.8.4
2023-07-04 10:31:40 +08:00
Vincent Laporte
4acdff5e91
coqPackages.interval: 4.6.1 → 4.7.0
2023-07-03 10:15:56 +02:00
Vincent Laporte
097299ac4f
coqPackages.CoLoR: 1.8.3 → 1.8.4
2023-07-03 07:46:25 +02:00
Felix Buehler
6672dde558
treewide: use optionalAttrs instead of 'else {}'
2023-06-25 11:01:34 -03:00
Reynald Affeldt
b2f53e3726
mathcomp-infotheo: 0.5.1 -> 0.5.2
2023-06-20 21:18:53 +02:00
Cyril Cohen
d22a44e57a
hb dep is added later, after we check the version number
2023-06-20 13:41:07 +02:00
Vincent Laporte
30ee65ee2f
coqPackages.reglang: 1.1.2 → 1.1.3
2023-06-15 10:11:09 +02:00
Vincent Laporte
cc2fb2c1e4
coqPackages.itauto: init at 8.17.0 for Coq 8.17
...
Propagate `findlib` when needed
Add tests
2023-06-15 06:16:26 +02:00
Pol Dellaiera
7907dd9d6b
Merge pull request #235924 from Stunkymonkey/remove-then-{}
...
treewide: use lib.optionalAttrs instead of 'then {}'
2023-06-13 20:14:58 +02:00
Vincent Laporte
30620750e8
coqPackages.Verdi: 20211026 → 20230503
2023-06-12 08:59:51 +02:00
Vincent Laporte
e59d94ef4c
coqPackages.Cheerios: 20200201 → 20230107
2023-06-12 08:59:51 +02:00
Vincent Laporte
00144a9175
coqPackages.StructTact: 20210328 → 20230107
2023-06-12 08:59:51 +02:00
Vincent Laporte
bd28a38ebf
coqPackages.InfSeqExt: 20200131 → 20230107
2023-06-12 08:59:51 +02:00
Nick Cao
bbe8c82b4c
Merge pull request #236417 from vbgl/coq-gappalib-1.5.3
...
coqPackages.gappalib: 1.5.2 → 1.5.3
2023-06-08 03:13:21 -06:00
Vincent Laporte
f09cd3b7de
coqPackages.QuickChick: 1.6.4 → 1.6.5
2023-06-08 08:55:44 +02:00
Vincent Laporte
fba73283c1
coqPackages.simple-io: 1.7.0 → 1.8.0
2023-06-08 08:55:44 +02:00
