SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 
Changelog for coq-8.2pl1-1.fc12.i686.rpm :
Wed Aug 5 14:00:00 2009 Alan Dunn - 8.2pl1-1
- New upstream release
- Eliminated modification of tar_base_name that occurred for only version 8.2
- Added reference to bugzilla bug for ppc64 ExcludeArch
- HTML form of documentation seems to no longer be distributed -> must generate
Decided for consistency to generate all documentation
- Additional file for iconv - documentation license file
- Changed tutorial directory name, now also using bundled version
of tutorial

Fri Jul 24 14:00:00 2009 Fedora Release Engineering - 8.2-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_12_Mass_Rebuild

Thu Jun 18 14:00:00 2009 Alan Dunn - 8.2-1
- New upstream release
- Seems documentation license has changed or wasn\'t explicitly stated
before, fixed (is ok Fedora license)
- Added versioning to documentation
- Removed special OCaml, TeX logic for Fedora < 9 (no longer relevant)
- Dropped makefile patch for compiling grammar.cma (fixed in Coq 8.2)
- Dropped cmxa-install patch (fixed in Coq 8.2)
- Changed makefile-strip patch and name (not yet fixed upstream...)
- Changed check.patch -> coq-check-(version).patch, slightly changed
for 8.2 (not yet fixed upstream...)
- Dropped parser-renaming makefile-parser.patch, parser-man.patch
(fixed in Coq 8.2)
- Dropped coq-lablgtk-2.12.patch (fixed in Coq 8.2)
- Changed way source (.v) files are installed
- Stopped addition of other icon file (icon fixed in Coq 8.2)
- Bytecode executables are now \"clean\" (not build with custom -> don\'t
need to configure prelink around these)
- define -> global
- Added ExcludeArch sparc64

Wed Jun 17 14:00:00 2009 S390x secondary arch maintainer 8.1pl4-3.1
- ExcludeArch s390, s390x as we don\'t have OCaml on those archs

Wed Mar 4 13:00:00 2009 Alan Dunn - 8.1pl4-3
- Minor change to cmxa-install patch instruction
- Fixed to work with lablgtk 2.12

Tue Feb 24 13:00:00 2009 Fedora Release Engineering - 8.1pl4-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_11_Mass_Rebuild

Fri Dec 5 13:00:00 2008 Richard W.M. Jones - 8.1pl4-1
- New upstream version 8.1pl4.
- Attempt to rebuild against OCaml 3.11.0.
- Run make with VERBOSE=1 so we can see the actual commands.
- Pass -camlp5dir to configure so it uses camlp5 (overriding existence
of camlp4 if it happens to be installed).

Wed Oct 22 14:00:00 2008 Alan Dunn 8.1pl3-5
- Added Coq .v files into the main package at user request.

Tue Sep 9 14:00:00 2008 Alan Dunn 8.1pl3-4
- Added creation of prelink blacklist for any bytecode files.
- Fixed execstack status for binaries.

Tue Aug 5 14:00:00 2008 Alan Dunn 8.1pl3-3
- Changed parser to coq-parser to avoid name conflict with
coda-client.
- Made make process noisy again.

Sun Jul 20 14:00:00 2008 Alan Dunn 8.1pl3-2.1
- Minor bump for Fedora 8 to bring it into line with the rest.

Thu Jul 17 14:00:00 2008 Alan Dunn 8.1pl3-2
- Added check for Fedora distribution number to allow for Fedora 8 release.

Sat Jun 14 14:00:00 2008 Alan Dunn 8.1pl3-1
- Initial Fedora RPM version.


 
ICM