summary refs log tree commit diff
path: root/pkgs/development/coq-modules/interval
Commit message (Expand)AuthorAge
* coqPackages.interval: 4.1.0 -> 4.1.1Ben Siraphob2021-05-10
* coqPackages: refactorCyril Cohen2021-01-09
* coqPackages.interval: 3.4.2 → 4.0.0Vincent Laporte2020-08-17
* coqPackages.interval: 3.4.1 → 3.4.2Vincent Laporte2020-06-29
* treewide: Per RFC45, remove all unquoted URLsMichael Reilly2020-04-10
* coqPackages.interval: 3.4.0 -> 3.4.1Vincent Laporte2019-08-12
* coqPackages.interval: 3.3.0 -> 3.4.0Vincent Laporte2019-02-15
* coqPackages.mathcomp: 1.6.4 -> 1.7.0Vincent Laporte2018-05-01
* coq: init at 8.8+beta1Vincent Laporte2018-03-21
* coqPackages_8_4.interval: removeVincent Laporte2017-12-02
* coqPackages.interval: make bignums optional and propagatedVincent Laporte2017-11-13
* coqPackages.interval: Add bignums, now a required dependencyJohn Wiegley2017-11-12
* coqPackages.coquelicot: 2.1.2 -> 3.0.1Vincent Laporte2017-10-06
* coqPackages.interval: fix URLVincent Laporte2017-08-11
* coqPackages.interval: 2.2.1 -> 3.1.1Vincent Laporte2017-02-11
* coq-interval: 2.1.0 -> 2.2.1Vincent Laporte2016-01-06
* coq-flocq: 2.4.0 -> 2.5.0; coq-interval: 2.0.0 -> 2.1.0Vincent Laporte2015-12-03
* Adds coq-intervalVincent Laporte2014-12-08
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-05-24 12:42:15 +0000