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

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

2021-03-28	Jan Rękorajski	- up to 8.13.1	commit \| commitdiff \| tree
2017-06-05	Jan Rękorajski	- up to 8.6	commit \| commitdiff \| tree
2017-06-05	Jan Rękorajski	- rebuild with ocaml 4.04.1	commit \| commitdiff \| tree
2016-03-21	Jan Rękorajski	- release 2 (by relup.sh)	commit \| commitdiff \| tree
2015-07-25	Jan Rękorajski	- rel 2	commit \| commitdiff \| tree
2015-07-25	Jan Rękorajski	- updated BRs and files	commit \| commitdiff \| tree
2015-07-25	Jan Rękorajski	- add ocaml_opt bcond	commit \| commitdiff \| tree
2014-11-16	Jan Rękorajski	- up to 8.4pl5	commit \| commitdiff \| tree
2014-11-16	Jan Rękorajski	- rebuild with ocaml 4.02	commit \| commitdiff \| tree
2014-04-30	Jan Rękorajski	- up to 8.4pl3	commit \| commitdiff \| tree
2013-05-14	Jan Rękorajski	- rel 2	commit \| commitdiff \| tree
2012-06-24	Jan Rękorajski	- rel 1	commit \| commitdiff \| tree
2012-06-24	Jan Rękorajski	- package installed docs	commit \| commitdiff \| tree
2012-06-24	Jan Rękorajski	- TODO and proper explanation why tests fail	commit \| commitdiff \| tree
2012-06-24	Jan Rękorajski	- tests bcond	commit \| commitdiff \| tree
2012-06-24	Jan Rękorajski	- moved emacs and latex stuff to separate packages	commit \| commitdiff \| tree
2012-06-24	Jan Rękorajski	- updated files	commit \| commitdiff \| tree
2012-06-24	Jan Rękorajski	- more texlive BR	commit \| commitdiff \| tree
2012-06-24	Jan Rękorajski	- more latex deps	commit \| commitdiff \| tree
2012-06-24	Jan Rękorajski	- BR texlive-latex-ams	commit \| commitdiff \| tree
2012-06-24	Jan Rękorajski	- 8.3pl1	commit \| commitdiff \| tree
2012-06-24	Jan Rękorajski	- icon for coqide desktop entry	commit \| commitdiff \| tree
2012-06-24	Jan Rękorajski	- desktop file for coqide	commit \| commitdiff \| tree
2012-06-24	Jan Rękorajski	- updated to 8.3pl1	commit \| commitdiff \| tree
2012-06-24	Jan Rękorajski	- 8.3pl1	commit \| commitdiff \| tree
2012-06-24	Jan Rękorajski	- added TODO	commit \| commitdiff \| tree
2012-06-24	Jan Rękorajski	- 8.1pl4	commit \| commitdiff \| tree
2012-06-24	Jan Rękorajski	- work around stupid detection of lablgtk2	commit \| commitdiff \| tree
2012-06-24	Jan Rękorajski	outdated	commit \| commitdiff \| tree
2012-06-24	Jan Rękorajski	- converted to UTF-8	commit \| commitdiff \| tree
2012-06-24	Jan Rękorajski	- fix building with lablgtk2 2.6	commit \| commitdiff \| tree
2012-06-24	Jan Rękorajski	- official build fix for ocaml 3.09	commit \| commitdiff \| tree
2012-06-24	Jan Rękorajski	outdated	commit \| commitdiff \| tree
2012-06-24	Jan Rękorajski	- release 2	commit \| commitdiff \| tree
2012-06-24	Jan Rękorajski	- go ahead and edit it ;)	commit \| commitdiff \| tree
2012-06-24	Jan Rękorajski	- needed to build coq with ocaml 3.07	commit \| commitdiff \| tree
2012-06-24	Jan Rękorajski	- add patch needed to build with ocaml 3.07	commit \| commitdiff \| tree
2012-06-24	Jan Rękorajski	- initial revision	commit \| commitdiff \| tree

The Coq Proof Assistant

RSS Atom

This page took 0.075047 seconds and 3 git commands to generate.