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
/
math-classes
Commit message (
Expand
)
Author
Age
*
coqPackages.math-classes: 8.17.0 → 8.18.0
Vincent Laporte
2023-10-25
*
coqPackages.math-classes: 8.15.0 → 8.17.0
Vincent Laporte
2023-05-31
*
treewide: remove global with lib; statements in pkgs/coq-modules
Shawn8901
2023-01-21
*
coqPackages.math-classes: enable for Coq 8.16
Vincent Laporte
2022-06-13
*
coqPackages: etc
Cyril Cohen
2022-05-25
*
Revert "coqPackages: etc"
Vincent Laporte
2022-05-13
*
coqPackages: etc
Cyril Cohen
2022-05-12
*
coqPackages.math-classes: 8.13.0 -> 8.15.0
Théo Zimmermann
2022-01-25
*
coqPackages.math-classes: 8.12.0 -> 8.13.0
larsr
2021-07-17
*
coqPackages.math-classes: 8.11.0 -> 8.12.0
Théo Zimmermann
2021-01-21
*
coqPackages: refactor
Cyril Cohen
2021-01-09
*
coqPackages.math-classes: 8.9.1 → 8.11.0
Vincent Laporte
2020-07-19
*
treewide: Per RFC45, remove all unquoted URLs
Michael Reilly
2020-04-10
*
treewide: installFlags is a list
Robin Gloster
2019-12-30
*
coqPackages.math-classes: 8.8.1 -> 8.9.1
Théo Zimmermann
2019-07-22
*
coq: init at 8.10+β1
Vincent Laporte
2019-05-15
*
coqPackages.math-classes: 1.0.7 -> 8.8.1
Vincent Laporte
2018-12-03
*
coqPackages: move to a separate file and filter the package set
Vincent Laporte
2017-12-18
*
coqPackages.math-classes: 1.0.6 -> 1.0.7
Théo Zimmermann
2017-11-05
*
coqPackages_8_6.math-classes: New expression (for 8.6) 1.0.6
John Wiegley
2017-07-18
*
coqPackages.math-classes: init at 2016-06-08
Langston Barrett
2017-01-27