index
:
nixpkgs
this commit
archive
master
rootfs
usbip
wayland
Downstream nixpkgs tree for Spectrum
Alyssa Ross
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
pkgs
/
development
/
coq-modules
Commit message (
Expand
)
Author
Age
*
coqPackages_8_17: enable a few packages for Coq 8.17
Vincent Laporte
2023-04-13
*
coqPackages.mathcomp-algebra-tactics 1.0.0 -> 1.1.1
Pierre Roux
2023-04-13
*
coqPackages.coq-lsp: 0.1.6.1 for Coq 8.17
Ali Caglayan
2023-04-04
*
coqPackages.serapi: 8.16.0+0.16.3 -> 8.17.0+0.17.0
Ali Caglayan
2023-04-04
*
coqPackages.HoTT: 8.16 -> 8.17
Ali Caglayan
2023-03-30
*
Add coqPackages.mathcomp-apery
Pierre Roux
2023-03-30
*
coqPackages_8_17.stdpp: init at 1.8.0
Cyril Cohen
2023-03-27
*
coqPackages.ITree: 4.0.0 → 5.1.0
Vincent Laporte
2023-03-15
*
coqPackages.paco: enable for Coq 8.17
Vincent Laporte
2023-03-15
*
coqPackages.coq-ext-lib: enable for Coq 8.17
Vincent Laporte
2023-03-15
*
coqPackages: various 8.16 -> 8.17
Pierre Roux
2023-03-09
*
coqPackages.mathcomp-analysis: 0.6.0 → 0.6.1
Vincent Laporte
2023-03-03
*
coqPackages.mathcomp-analysis: 0.5.3 → 0.6.0
Vincent Laporte
2023-03-03
*
coqPackages.smtcoq.cvc4: fix build with bash 5.2
Vincent Laporte
2023-03-01
*
compcert: 3.11 → 3.12
Vincent Laporte
2023-03-01
*
coqPackages.coq-elpi: propagate findlib
Vincent Laporte
2023-02-28
*
coqPackages.coqhammer: fix src URL
Vincent Laporte
2023-02-28
*
coqPackages_8_16.coq-lsp: init at 0.1.6.1+8.16
Mario Rodas
2023-02-21
*
coqPackages_8_16.serapi: 8.16.0+0.16.0 -> 8.16.0+0.16.3
Mario Rodas
2023-02-21
*
treewide: add strictDeps = true to most packages depending on ocaml
Ulrik Strid
2023-02-03
*
Merge pull request #213855 from vbgl/coq-coquelicot-3.3
Nick Cao
2023-02-03
|
\
|
*
coqPackages.coquelicot: 3.2.0 → 3.3.0
Vincent Laporte
2023-01-31
*
|
coqPackages_8_17.paramcoq: init at 1.1.3+coq8.17
Vincent Laporte
2023-02-02
*
|
coqPackages_8_17.equations: init at 1.3+8.17
Vincent Laporte
2023-02-01
|
/
*
Merge pull request #212009 from Shawn8901/remove_with_lib_2
Weijia Wang
2023-01-24
|
\
|
*
treewide: remove global with lib; statements in pkgs/coq-modules
Shawn8901
2023-01-21
*
|
Merge pull request #212002 from mothsART/feature/replace_http_by_https
Weijia Wang
2023-01-22
|
\
\
|
*
|
treewide: replace http by https when https is a permanent redirection
Ferry Jérémie
2023-01-22
|
|
/
*
/
treewide: switch to nativeCheckInputs
Guillaume Girol
2023-01-21
|
/
*
coqPackages_8_13.smtcoq: fix build by using older make
Vincent Laporte
2023-01-11
*
coqPackages_8_13.smtcoq.cvc4: fix build by using older make
Vincent Laporte
2023-01-11
*
coq_8_17: init at 8.17+rc1 (#209145)
Pierre Roux
2023-01-06
*
coqPackages.Verdi: preemptive fix for removal of configure in future versions
Théo Zimmermann
2022-12-24
*
coqPackages.StructTact: preemptive fix for removal of configure in future ver...
Théo Zimmermann
2022-12-24
*
coqPackages.InfSeqExt: preemptive fix for removal of configure in future vers...
Théo Zimmermann
2022-12-24
*
coqPackages.Cheerios: preemptive fix for removal of configure in future versions
Théo Zimmermann
2022-12-24
*
coqPackages.VST: 2.10 → 2.11.1
Vincent Laporte
2022-12-22
*
coqPackages.VST: add support for Coq 8.16.1
Vincent Laporte
2022-12-05
*
compcert: add support for Coq 8.16.1
Vincent Laporte
2022-12-05
*
Update HoTT and drop archaic 8.6 specific install
Cyril Cohen
2022-11-29
*
coqPackages.mathcomp-algebra-tactics: init at 1.0.0
Cyril Cohen
2022-11-24
*
coqPackages.interval: 4.5.2 → 4.6.0
Vincent Laporte
2022-11-13
*
Merge remote-tracking branch 'origin/staging-next' into staging
Martin Weinelt
2022-10-13
|
\
|
*
coqPackages.relation-algebra: init at 1.7.8 for Coq 8.16
Vincent Laporte
2022-10-13
*
|
Merge branch 'master' into staging
Vladimír Čunát
2022-10-13
|
\
|
|
*
coqPackages.coq-elpi: disable OCaml warnings
Vincent Laporte
2022-10-12
|
*
Adding mathcomp-analysis single
Pierre Roux
2022-10-11
*
|
Merge pull request #194256 from Artturin/treewides2
Artturi
2022-10-13
|
\
\
|
|
/
|
/
|
|
*
treewide: *Flags convert to list from str
Artturin
2022-10-10
*
|
coqPackages.VST: enable for Coq 8.16
Vincent Laporte
2022-10-11
[next]