packages/coq.git
7 years ago- more latex deps
Jan Rękorajski [Thu, 7 Apr 2011 22:38:18 +0000 (22:38 +0000)]
- more latex deps

Changed files:
    coq.spec -> 1.17

7 years ago- BR texlive-latex-ams
Jan Rękorajski [Thu, 7 Apr 2011 22:16:40 +0000 (22:16 +0000)]
- BR texlive-latex-ams

Changed files:
    coq.spec -> 1.16

7 years ago- 8.3pl1
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

7 years ago- icon for coqide desktop entry
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

7 years ago- desktop file for coqide
Jan Rękorajski [Thu, 7 Apr 2011 21:41:46 +0000 (21:41 +0000)]
- desktop file for coqide

Changed files:
    coqide.desktop -> 1.1

7 years ago- updated to 8.3pl1
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

7 years ago- 8.3pl1
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

7 years ago- drop obsolete files
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

7 years ago- added TODO
Jan Rękorajski [Mon, 16 Feb 2009 13:29:16 +0000 (13:29 +0000)]
- added TODO

Changed files:
    coq.spec -> 1.13

7 years ago- 8.1pl4
Jan Rękorajski [Mon, 16 Feb 2009 13:19:46 +0000 (13:19 +0000)]
- 8.1pl4

Changed files:
    coq.spec -> 1.12

7 years ago- work around stupid detection of lablgtk2
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

7 years agooutdated
Jan Rękorajski [Mon, 16 Feb 2009 13:06:10 +0000 (13:06 +0000)]
outdated

Changed files:
    coq-lablgtk26.patch -> 1.2

7 years ago- tabs in preamble
Elan Ruusamäe [Mon, 12 Feb 2007 21:23:51 +0000 (21:23 +0000)]
- tabs in preamble

Changed files:
    coq.spec -> 1.11

7 years ago- converted to UTF-8
Jan Rękorajski [Mon, 12 Feb 2007 00:48:42 +0000 (00:48 +0000)]
- converted to UTF-8

Changed files:
    coq.spec -> 1.10

7 years ago- kill Icon: field (support for these is obsolete says jbj)
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

7 years ago- fix building with lablgtk2 2.6 auto/ac/coq-8_0pl2-2
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

7 years ago- official build fix for ocaml 3.09
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

7 years agooutdated
Jan Rękorajski [Sat, 10 Dec 2005 01:45:56 +0000 (01:45 +0000)]
outdated

Changed files:
    coq-ocaml-3.07.patch -> 1.2

7 years ago- release 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

7 years ago- finish update to 8.0pl2
aredridel [Mon, 25 Jul 2005 01:02:56 +0000 (01:02 +0000)]
- finish update to 8.0pl2

Changed files:
    coq.spec -> 1.7

7 years ago- start up to 8.0pl2
aredridel [Sun, 24 Jul 2005 19:54:38 +0000 (19:54 +0000)]
- start up to 8.0pl2

Changed files:
    coq.spec -> 1.6

7 years ago- cosmetics
paladine [Wed, 10 Nov 2004 13:47:03 +0000 (13:47 +0000)]
- cosmetics

Changed files:
    coq.spec -> 1.5

7 years ago- pl, missing dirs
Jakub Bogusz [Tue, 21 Oct 2003 18:49:38 +0000 (18:49 +0000)]
- pl, missing dirs

Changed files:
    coq.spec -> 1.4

7 years ago- go ahead and edit it ;)
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

7 years ago- needed to build coq with ocaml 3.07
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

7 years ago- add patch needed to build with ocaml 3.07
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

7 years ago- initial revision
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.121693 seconds and 4 git commands to generate.