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
*
Merge pull request #130023 from siraben/hierarchy-builder-update
Ben Siraphob
2021-07-18
|
\
|
*
coqPackages.mathcomp-analysis: 0.3.6 -> 0.3.9
Ben Siraphob
2021-07-16
|
*
coqPackages.hierarchy-builder: 1.0.0 -> 1.1.0
Ben Siraphob
2021-07-16
*
|
coqPackages.math-classes: 8.12.0 -> 8.13.0
larsr
2021-07-17
|
/
*
coqPackages.itauto: init at 8.13+no
Ben Siraphob
2021-07-01
*
coqPackages.semantics: init
Ben Siraphob
2021-06-29
*
coqPackages.VST: 2.7.1 -> 2.8
Ben Siraphob
2021-06-18
*
Move CompCert into coqPackages. (#126214)
Théo Zimmermann
2021-06-14
*
coqPackages.reglang: init at 1.1.2
Ben Siraphob
2021-06-08
*
coqPackages.topology: init
Ben Siraphob
2021-06-01
*
coqPackages.zorns-lemma: init
Ben Siraphob
2021-06-01
*
coq-elpi: clarify license
Enrico Tassi
2021-05-28
*
coq-elpi: 1.9.7 -> 1.10.1
Enrico Tassi
2021-05-28
*
coqPackages.relation-algebra: init
Ben Siraphob
2021-05-17
*
coqPackages.aac-tactics: init
Ben Siraphob
2021-05-17
*
coqPackages.metalib: enable for Coq 8.13
Vincent Laporte
2021-05-10
*
coqPackages.coqprime: enable for Coq 8.13
Vincent Laporte
2021-05-10
*
coqPackages.mathcomp-zify: init at 1.0.0+1.12+8.13
Cyril Cohen
2021-05-10
*
coqPackages.autosubst: 5b40a32e -> 1.7 and fix build
Ben Siraphob
2021-05-10
*
coqPackages.interval: 4.1.0 -> 4.1.1
Ben Siraphob
2021-05-10
*
coqPackages.goedel: init at 8.12.0
Ben Siraphob
2021-05-10
*
coqPackages.pocklington: init at 8.12.0
Ben Siraphob
2021-05-10
*
coqPackages.hydra-battles: init at 0.3
Ben Siraphob
2021-05-10
*
coqPackages.VST: 2.6 → 2.7.1
Vincent Laporte
2021-05-07
*
coqPackages.CoLoR: 1.7.0 → 1.8.1
Vincent Laporte
2021-05-07
*
coqPackages.coqeal: 1.0.4 → 1.0.5
Vincent Laporte
2021-04-29
*
coqPackages.paramcoq: enable for Coq 8.13
Vincent Laporte
2021-04-28
*
coqPackages.coqhammer: 1.3 → 1.3.1
Vincent Laporte
2021-04-26
*
coqPackages.tlc: 20200328 → 20210316
Vincent Laporte
2021-04-25
*
coqPackages_8_13.QuickChick: init at 1.5.0
Vincent Laporte
2021-04-24
*
coq-elpi: 1.6.2 -> 1.6.3
Enrico Tassi
2021-04-18
*
coq-elpi: 1.8.2 -> 1.8.3
Enrico Tassi
2021-04-18
*
coq-elpi: 1.9.5 -> 1.9.7
Enrico Tassi
2021-04-18
*
coqPackages.ITree: changed pname to InteractionTrees
Lars Rasmusson
2021-04-14
*
ITree: init at 4.0.0
Lars Rasmusson
2021-04-14
*
coqPackages.simple-io: enable for Coq 8.13
Lars Rasmusson
2021-04-14
*
coqPackages.coq-ext-lib: add Coq 8.13
Lars Rasmusson
2021-04-14
*
coqPackages.equations: 1.2.3 → 1.2.4
Lars Rasmusson
2021-04-14
*
coq-elpi: 1.6.1_8.11 -> 1.6.2_8.11
Enrico Tassi
2021-04-12
*
coq-elpi: 1.8.0 -> 1.8.2_8.12
Enrico Tassi
2021-04-12
*
coq-elpi: 1.9.4 -> 1.9.5
Enrico Tassi
2021-04-12
*
coqPackages.stdpp: 1.4.0 → 1.5.0
Vincent Laporte
2021-04-12
*
coqtail-math: init at 20201124
Ben Siraphob
2021-04-09
*
coqPackages.odd-order: init at 1.12.0
Ben Siraphob
2021-03-31
*
coqPackages.fourcolor: init at 1.2.3
Ben Siraphob
2021-03-26
*
coqPackages.coq-elpi: 1.6.0 -> 1.6.1
Cyril Cohen
2021-03-22
*
coqPackages.coq-elpi: 1.9.3 -> 1.9.4
Cyril Cohen
2021-03-17
*
coqPackages.mathcomp: etc (#115417)
Cyril Cohen
2021-03-15
*
coqPackages.mathcomp-analysis: 0.3.1 -> 0.3.6
Cyril Cohen
2021-03-12
*
coqPackages.multinomials: 1.5.2 -> 1.5.4 (#115427)
Cyril Cohen
2021-03-10
[next]