Logo
Explore Help
Sign In
public/nixpkgs
1
0
Fork 0
You've already forked nixpkgs
Code Issues Pull Requests Packages Projects Releases Wiki Activity
nixpkgs/pkgs/development/coq-modules
History
Tim Steinbach 198fd526ca
Revert "coqPackages.{ssreflect,mathcomp}: 1.6.1 -> 1.6.4"
2017-11-07 17:15:09 +00:00
..
autosubst
coqPackages.autosubst: fix hash
2017-07-28 06:45:31 +00:00
bedrock
…
bignums
bignums: init at various versions
2017-11-05 16:59:23 +01:00
CoLoR
coqPackages: remove duplication in mkCoqPackages
2017-09-04 02:39:49 +00:00
contribs
…
coq-ext-lib
coqPackages_8_7: New expression, but don't make it the default yet
2017-10-22 12:43:27 -07:00
coqeal
…
coquelicot
coqPackages_8_7: New expression, but don't make it the default yet
2017-10-22 12:43:27 -07:00
domains
…
dpdgraph
coqPackages.dpdgraph: remove support for coq 8.7
2017-10-30 02:02:19 +01:00
fiat
coqPackages.fiat_HEAD: mark as broken with Coq ≥ 8.6
2017-10-22 20:48:18 +00:00
flocq
coqPackages.flocq: 2.5.2 -> 2.6.0
2017-10-18 23:21:37 +00:00
heq
…
HoTT
coqPackages.HoTT: init at 20170921
2017-10-11 02:51:16 +02:00
interval
coqPackages.coquelicot: 2.1.2 -> 3.0.1
2017-10-06 21:16:06 +00:00
math-classes
coqPackages.math-classes: 1.0.6 -> 1.0.7
2017-11-05 16:59:23 +01:00
mathcomp
Revert "coqPackages.{ssreflect,mathcomp}: 1.6.1 -> 1.6.4"
2017-11-07 17:15:09 +00:00
paco
coqPackages.paco: 1.2.7 -> 1.2.8
2017-07-10 18:35:55 -07:00
QuickChick
coqPackages.QuickChick: remove support for coq 8.7
2017-10-23 22:40:29 +02:00
ssreflect
Revert "coqPackages.{ssreflect,mathcomp}: 1.6.1 -> 1.6.4"
2017-11-07 17:15:09 +00:00
tlc
…
unimath
…
ynot
…
Powered by Gitea Version: 1.23.8 Page: 1081ms Template: 12ms
English
Bahasa Indonesia Deutsch English Español Français Gaeilge Italiano Latviešu Magyar nyelv Nederlands Polski Português de Portugal Português do Brasil Suomi Svenska Türkçe Čeština Ελληνικά Български Русский Українська فارسی മലയാളം 日本語 简体中文 繁體中文(台灣) 繁體中文(香港) 한국어
Licenses API