git.pld-linux.org Git - packages/coq.git/history

]> git.pld-linux.org Git - packages/coq.git/history - coq.spec

2021-03-28	Jan Rękorajski	- up to 8.13.1	blob \| commitdiff \| raw
2017-06-05	Jan Rękorajski	- up to 8.6 auto/th/coq-8.6-1	blob \| commitdiff \| raw \| diff to current
2017-06-05	Jan Rękorajski	- rebuild with ocaml 4.04.1 auto/th/coq-8.4pl6-3	blob \| commitdiff \| raw \| diff to current
2016-03-21	Jan Rękorajski	- release 2 (by relup.sh) auto/th/coq-8.4pl6-2	blob \| commitdiff \| raw \| diff to current
2015-07-27	Jakub Bogusz	- updated to 8.4pl6 auto/th/coq-8.4pl6-1	blob \| commitdiff \| raw \| diff to current
2015-07-25	Jan Rękorajski	- rel 2 auto/th/coq-8.4pl5-2	blob \| commitdiff \| raw \| diff to current
2015-07-25	Jan Rękorajski	- updated BRs and files	blob \| commitdiff \| raw \| diff to current
2015-07-25	Jan Rękorajski	- add ocaml_opt bcond	blob \| commitdiff \| raw \| diff to current
2014-11-16	Jan Rękorajski	- up to 8.4pl5 auto/th/coq-8.4pl5-1	blob \| commitdiff \| raw \| diff to current
2014-11-16	Jan Rękorajski	- rebuild with ocaml 4.02 auto/th/coq-8.4pl3-2	blob \| commitdiff \| raw \| diff to current
2014-04-30	Jan Rękorajski	- up to 8.4pl3 auto/th/coq-8.4pl3-1	blob \| commitdiff \| raw \| diff to current
2013-05-14	Jan Rękorajski	- rel 2 auto/th/coq-8.3pl1-2	blob \| commitdiff \| raw \| diff to current
2012-06-24	Jan Rękorajski	- rel 1 auto/th/coq-8_3pl1-1	blob \| commitdiff \| raw \| diff to current
2012-06-24	Jan Rękorajski	- package installed docs	blob \| commitdiff \| raw \| diff to current
2012-06-24	Jan Rękorajski	- TODO and proper explanation why tests fail	blob \| commitdiff \| raw \| diff to current
2012-06-24	Jan Rękorajski	- tests bcond	blob \| commitdiff \| raw \| diff to current
2012-06-24	Jan Rękorajski	- moved emacs and latex stuff to separate packages	blob \| commitdiff \| raw \| diff to current
2012-06-24	Jan Rękorajski	- updated files	blob \| commitdiff \| raw \| diff to current
2012-06-24	Jan Rękorajski	- more texlive BR	blob \| commitdiff \| raw \| diff to current
2012-06-24	Jan Rękorajski	- more latex deps	blob \| commitdiff \| raw \| diff to current
2012-06-24	Jan Rękorajski	- BR texlive-latex-ams	blob \| commitdiff \| raw \| diff to current
2012-06-24	Jan Rękorajski	- 8.3pl1	blob \| commitdiff \| raw \| diff to current
2012-06-24	Jan Rękorajski	- 8.3pl1	blob \| commitdiff \| raw \| diff to current
2012-06-24	Jan Rękorajski	- added TODO	blob \| commitdiff \| raw \| diff to current
2012-06-24	Jan Rękorajski	- 8.1pl4	blob \| commitdiff \| raw \| diff to current
2012-06-24	Elan Ruusamäe	- tabs in preamble	blob \| commitdiff \| raw \| diff to current
2012-06-24	Jan Rękorajski	- converted to UTF-8	blob \| commitdiff \| raw \| diff to current
2012-06-24	Arkadiusz Miśkiewicz	- kill Icon: field (support for these is obsolete says...	blob \| commitdiff \| raw \| diff to current
2012-06-24	Jan Rękorajski	- release 2	blob \| commitdiff \| raw \| diff to current
2012-06-24	aredridel	- finish update to 8.0pl2	blob \| commitdiff \| raw \| diff to current
2012-06-24	aredridel	- start up to 8.0pl2	blob \| commitdiff \| raw \| diff to current
2012-06-24	paladine	- cosmetics	blob \| commitdiff \| raw \| diff to current
2012-06-24	Jakub Bogusz	- pl, missing dirs	blob \| commitdiff \| raw \| diff to current
2012-06-24	Jan Rękorajski	- go ahead and edit it ;)	blob \| commitdiff \| raw \| diff to current
2012-06-24	Jan Rękorajski	- add patch needed to build with ocaml 3.07	blob \| commitdiff \| raw \| diff to current
2012-06-24	Jan Rękorajski	- initial revision	blob \| commitdiff \| raw \| diff to current

The Coq Proof Assistant

RSS Atom

This page took 0.304434 seconds and 43 git commands to generate.