]>
git.pld-linux.org Git - packages/coq.git/log
summary |
shortlog | log |
commit |
commitdiff |
tree
first ⋅ prev ⋅ next
Jan Rękorajski [Thu, 7 Apr 2011 22:16:40 +0000 (22:16 +0000)]
- BR texlive-latex-ams
Changed files:
coq.spec -> 1.16
Jan Rękorajski [Thu, 7 Apr 2011 21:42:44 +0000 (21:42 +0000)]
- 8.3pl1
- added desktop file and icon for coqide
Changed files:
coq.spec -> 1.15
Jan Rękorajski [Thu, 7 Apr 2011 21:42:03 +0000 (21:42 +0000)]
- icon for coqide desktop entry
Changed files:
coqide.xpm -> 1.1
Jan Rękorajski [Thu, 7 Apr 2011 21:41:46 +0000 (21:41 +0000)]
- desktop file for coqide
Changed files:
coqide.desktop -> 1.1
Jan Rękorajski [Thu, 7 Apr 2011 21:41:07 +0000 (21:41 +0000)]
- updated to 8.3pl1
Changed files:
coq-lablgtk2.patch -> 1.2
Jan Rękorajski [Wed, 6 Apr 2011 09:15:33 +0000 (09:15 +0000)]
- 8.3pl1
- up BR lablgtk2 to 2.12
Changed files:
coq.spec -> 1.14
Arkadiusz Miśkiewicz [Sun, 5 Jul 2009 17:15:55 +0000 (17:15 +0000)]
- drop obsolete files
Changed files:
coq-ocaml-3.09.patch -> 1.2
Jan Rękorajski [Mon, 16 Feb 2009 13:29:16 +0000 (13:29 +0000)]
- added TODO
Changed files:
coq.spec -> 1.13
Jan Rękorajski [Mon, 16 Feb 2009 13:19:46 +0000 (13:19 +0000)]
- 8.1pl4
Changed files:
coq.spec -> 1.12
Jan Rękorajski [Mon, 16 Feb 2009 13:06:42 +0000 (13:06 +0000)]
- work around stupid detection of lablgtk2
Changed files:
coq-lablgtk2.patch -> 1.1
Jan Rękorajski [Mon, 16 Feb 2009 13:06:10 +0000 (13:06 +0000)]
outdated
Changed files:
coq-lablgtk26.patch -> 1.2
Elan Ruusamäe [Mon, 12 Feb 2007 21:23:51 +0000 (21:23 +0000)]
- tabs in preamble
Changed files:
coq.spec -> 1.11
Jan Rękorajski [Mon, 12 Feb 2007 00:48:42 +0000 (00:48 +0000)]
- converted to UTF-8
Changed files:
coq.spec -> 1.10
Arkadiusz Miśkiewicz [Sat, 21 Jan 2006 00:01:16 +0000 (00:01 +0000)]
- kill Icon: field (support for these is obsolete says jbj)
Changed files:
coq.spec -> 1.9
Jan Rękorajski [Sat, 10 Dec 2005 01:46:59 +0000 (01:46 +0000)]
- fix building with lablgtk2 2.6
Changed files:
coq-lablgtk26.patch -> 1.1
Jan Rękorajski [Sat, 10 Dec 2005 01:46:27 +0000 (01:46 +0000)]
- official build fix for ocaml 3.09
Changed files:
coq-ocaml-3.09.patch -> 1.1
Jan Rękorajski [Sat, 10 Dec 2005 01:45:56 +0000 (01:45 +0000)]
outdated
Changed files:
coq-ocaml-3.07.patch -> 1.2
Jan Rękorajski [Sat, 10 Dec 2005 01:45:36 +0000 (01:45 +0000)]
- release 2
- builds with new ocaml and lablgtk (with some patching)
- updated files (include coqide)
Changed files:
coq.spec -> 1.8
aredridel [Mon, 25 Jul 2005 01:02:56 +0000 (01:02 +0000)]
- finish update to 8.0pl2
Changed files:
coq.spec -> 1.7
aredridel [Sun, 24 Jul 2005 19:54:38 +0000 (19:54 +0000)]
- start up to 8.0pl2
Changed files:
coq.spec -> 1.6
paladine [Wed, 10 Nov 2004 13:47:03 +0000 (13:47 +0000)]
- cosmetics
Changed files:
coq.spec -> 1.5
Jakub Bogusz [Tue, 21 Oct 2003 18:49:38 +0000 (18:49 +0000)]
- pl, missing dirs
Changed files:
coq.spec -> 1.4
Jan Rękorajski [Tue, 14 Oct 2003 20:14:07 +0000 (20:14 +0000)]
- go ahead and edit it ;)
Changed files:
coq.spec -> 1.3
Jan Rękorajski [Tue, 14 Oct 2003 18:20:40 +0000 (18:20 +0000)]
- needed to build coq with ocaml 3.07
Changed files:
coq-ocaml-3.07.patch -> 1.1
Jan Rękorajski [Tue, 14 Oct 2003 18:19:56 +0000 (18:19 +0000)]
- add patch needed to build with ocaml 3.07
Changed files:
coq.spec -> 1.2
Jan Rękorajski [Tue, 14 Oct 2003 17:56:30 +0000 (17:56 +0000)]
- initial revision
Changed files:
coq.spec -> 1.1
This page took 0.042109 seconds and 4 git commands to generate.