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
39a33d6b564b10ab499eaa5a3e53b857a237dd68
nixpkgs/pkgs/development/coq-modules
History
Cyril Cohen c96ef6fc44 updating packages coqPackages.bignums and coqPackages.equations
2019-05-23 15:05:15 +02:00
..
autosubst
…
bignums
updating packages coqPackages.bignums and coqPackages.equations
2019-05-23 15:05:15 +02:00
category-theory
…
Cheerios
coq: init at 8.10+β1
2019-05-15 10:30:03 +02:00
CoLoR
…
contribs
…
coq-ext-lib
…
coq-extensible-records
…
coq-haskell
…
coqhammer
…
coqprime
…
coquelicot
…
corn
coq: init at 8.10+β1
2019-05-15 10:30:03 +02:00
dpdgraph
…
equations
updating packages coqPackages.bignums and coqPackages.equations
2019-05-23 15:05:15 +02:00
fiat
…
flocq
…
heq
…
HoTT
…
InfSeqExt
coq: init at 8.10+β1
2019-05-15 10:30:03 +02:00
interval
…
iris
…
ltac2
coqPackages.ltac2: init at 0.1
2019-05-23 14:25:07 +02:00
math-classes
coq: init at 8.10+β1
2019-05-15 10:30:03 +02:00
mathcomp
several fixes in coq and coqPackages.mathcomp (and extras)
2019-05-21 08:55:38 +02:00
metalib
…
paco
…
paramcoq
…
QuickChick
…
simple-io
coq: init at 8.10+β1
2019-05-15 10:30:03 +02:00
ssreflect
…
stdpp
…
StructTact
…
tlc
…
Velisarios
…
Verdi
coq: init at 8.10+β1
2019-05-15 10:30:03 +02:00
Powered by Gitea Version: 1.25.5 Page: 1171ms Template: 46ms
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