index
:
nixlib
this commit
master
sixos
Alyssa's collection of Nix expressions
Alyssa Ross
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
pkgs
/
development
/
coq-modules
Commit message (
Expand
)
Author
Age
*
treewide: fix sourceRoot for fetchgit-based src
Yueh-Shun Li
2024-03-09
*
coqPackages.coq-record-update: 0.3.1 -> 0.3.3
Léo Stefanesco
2024-02-22
*
coqPackages.{serapi,coq-lsp}: {8.18.0+0.18.0,0.1.8+8.18.0} -> {8.19.0+0.19.0,...
Ali Caglayan
2024-02-16
*
Merge pull request #286807 from siraben/smtcoq-versions
Ben Siraphob
2024-02-12
|
\
|
*
coqPackages.smtcoq: expand to more supported versions
Ben Siraphob
2024-02-12
*
|
coqPackages.mathcomp-analysis: 0.6.6 -> 1.0.0 (#285276)
Sebastian
2024-02-09
|
/
*
coqPackages.vscoq-language-server: init at 2.0.3 (#256515)
Cyril Cohen
2024-02-01
*
coqPackages_8_19.mathcomp-real-closed
Pierre Roux
2024-01-26
*
coqPackages_8_19.multinomials
Pierre Roux
2024-01-26
*
coqPackages_8_19.extructures
Pierre Roux
2024-01-26
*
coqPackages_8_19.mathcomp-algebra-tactics
Pierre Roux
2024-01-26
*
coqPackages_8_19.reglang
Pierre Roux
2024-01-26
*
coqPackages_8_19.coqprime
Pierre Roux
2024-01-26
*
coqPackages.coquelicot: 3.4.0 -> 3.4.1
Pierre Roux
2024-01-26
*
coqPackages_8_19.QuickChick
Pierre Roux
2024-01-26
*
coqPackages_8_19.ITree
Pierre Roux
2024-01-26
*
coqPackages_8_19.paco
Pierre Roux
2024-01-26
*
coqPackages.flocq: 4.1.3 -> 4.1.4
Pierre Roux
2024-01-26
*
Add Coqeal 2.0.1 and algebra-tactics 1.2.3
Pierre Roux
2024-01-19
*
coqPackages.smtcoq.cvc4: fix build by building CLN in the same stdenv
Vincent Laporte
2024-01-18
*
coqPackages.QuickChick: 2.0.1 → 2.0.2
Vincent Laporte
2024-01-18
*
coqPackages.mathcomp: 2.1.0 -> 2.2.0
Pierre Roux
2024-01-17
*
coqPackages.mathcomp: 1.18.0 -> 1.19.0
Pierre Roux
2024-01-16
*
coqPackages.hierarchy-builder: 1.5.0 -> 1.7.0 (#280269)
Cyril Cohen
2024-01-12
*
coqPackages.coq-elpi: 1.19.0 -> 2.0.1
Pierre Roux
2024-01-02
*
Bump a few things compiling with Coq 8.19
Pierre Roux
2023-12-19
*
coqPackages.paramcoq: 8.18 -> 8.19
Pierre Roux
2023-12-19
*
coqPackages.bignums: 8.18 -> 8.19
Pierre Roux
2023-12-19
*
coq_8_19: init at 8.19+rc1
Pierre Roux
2023-12-19
*
coqPackages.QuickChick: 1.6.5 → 2.0.1
Vincent Laporte
2023-12-13
*
coqPackages.metacoq: update for coq 8.17 and 8.18 (#273541)
larsr
2023-12-12
*
Merge master into staging-next
github-actions[bot]
2023-12-08
|
\
|
*
coqPackages.coq-ext-lib: 0.11.8 → 0.12.0
Vincent Laporte
2023-12-08
*
|
Merge master into staging-next
github-actions[bot]
2023-12-05
|
\
|
|
*
coqPackages_8_16: fix evaluation with math-comp ≥ 2.0
Vincent Laporte
2023-12-05
*
|
Merge branch 'staging' into staging-next
Vladimír Čunát
2023-12-01
|
\
\
|
|
/
|
/
|
|
*
Merge staging-next into staging
github-actions[bot]
2023-11-29
|
|
\
|
*
\
Merge staging-next into staging
github-actions[bot]
2023-11-27
|
|
\
\
|
*
\
\
Merge pull request #265738 from Artturin/patchshebangcon
Artturi
2023-11-26
|
|
\
\
\
|
|
*
|
|
treewide: remove unnecessary patching of configure script
Artturin
2023-11-25
*
|
|
|
|
coqPackages.{hydra-battles,gaia-hydras}: 0.6 → 0.9
Vincent Laporte
2023-11-30
*
|
|
|
|
coqPackages.gaia: 1.15 → 1.17
Vincent Laporte
2023-11-30
|
|
_
|
_
|
/
|
/
|
|
|
*
|
|
|
coqPackages.mathcomp-word: 2.1 → {2.2, 3.0}
Vincent Laporte
2023-11-29
|
|
_
|
/
|
/
|
|
*
|
|
coqPackages.VST: 2.12 → 2.13
Vincent Laporte
2023-11-27
|
/
/
*
|
coqPackages.ITree: 5.1.1 → 5.1.2
Vincent Laporte
2023-11-17
*
|
coqPackages.dpdgraph: remove for Coq < 8.7
Vincent Laporte
2023-11-17
*
|
coqPackages.coqprime: 8.17 → 8.18
Vincent Laporte
2023-11-17
*
|
coqPackages_8_18.dpdgraph: init at 1.0+8.18
Vincent Laporte
2023-11-17
*
|
coqPackages.mathcomp: 1.17.0 -> 1.18.0 (#265046)
Pierre Roux
2023-11-15
*
|
coqPackages.gappalib: 1.5.3 → 1.5.4
Vincent Laporte
2023-11-15
[next]