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
Files
c791dd055d90642abaedb01f00dd015d1ef2daef
nixpkgs/pkgs/development/coq-modules
History
Valentin Robert b937c4c734 coqPackages.coq-ext-lib: 0.10.1 -> 0.10.3
2019-11-08 09:42:01 +00:00
..
autosubst
…
bignums
…
category-theory
…
Cheerios
…
CoLoR
…
contribs
coqPackages_8_7.contribs.additions: remove
2019-10-11 07:58:42 +02:00
coq-bits
coqPackages.coq-bits: init at 20190812
2019-10-24 06:24:33 +00:00
coq-elpi
coq_8_10: 8.10+β3 → 8.10.0
2019-10-16 02:43:46 +00:00
coq-ext-lib
coqPackages.coq-ext-lib: 0.10.1 -> 0.10.3
2019-11-08 09:42:01 +00:00
coq-extensible-records
coqPackages.coq-extensible-records: support for coq 8.9 and 8.10
2019-10-29 12:42:22 +00:00
coq-haskell
…
coqhammer
…
coqprime
…
coquelicot
…
corn
…
dpdgraph
…
equations
treewide: remove redundant quotes
2019-09-08 23:38:31 +00:00
fiat
…
flocq
…
gappalib
…
heq
…
HoTT
…
InfSeqExt
…
interval
…
iris
coqPackages.stdpp: 1.1 -> 1.2.1; coqPackages.iris: 3.1.0 -> 3.2.0
2019-09-06 11:51:34 +00:00
ltac2
coqPackages_8_10.ltac2: init at 0.3
2019-10-24 06:20:59 +00:00
math-classes
…
mathcomp
…
metalib
…
paco
coqPackages.paco: 1.2.8 -> 4.0.0
2019-11-08 09:41:30 +00:00
paramcoq
…
QuickChick
…
simple-io
…
ssreflect
…
stdpp
coqPackages.stdpp: 1.1 -> 1.2.1; coqPackages.iris: 3.1.0 -> 3.2.0
2019-09-06 11:51:34 +00:00
StructTact
…
tlc
…
Velisarios
…
Verdi
…
Powered by Gitea Version: 1.25.5 Page: 1104ms Template: 18ms
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