Changelog for coq-8.8.2-49.1.x86_64.rpm :
Thu Oct 11 14:00:00 2018 ptrommlerAATTicloud.com
- update to 8.8.2

Sun Jan 7 13:00:00 2018 ptrommlerAATTicloud.com
- update to 8.7.1

Thu Nov 2 13:00:00 2017 ptrommlerAATTicloud.com
- update to 8.7.0

* I need this in class b/c coq-ide reads _CoqProject files

Thu Apr 13 14:00:00 2017 peter.trommlerAATTohm-hochschule.de
- update to 8.6 from upstream

Fri Dec 2 13:00:00 2016 peter.trommlerAATTohm-hochschule.de
- update to 8.5pl3 from upstream

Fri Oct 21 14:00:00 2016 peter.trommlerAATTohm-hochschule.de
- update to 8.5pl2 from upstream

Sun Apr 10 14:00:00 2016 peter.trommlerAATTohm-hochschule.de
- update to 8.5 from upstream

Sat May 31 14:00:00 2014 peter.trommlerAATTohm-hochschule.de
- update to 8.4pl4 from upstream

Sun Jan 12 13:00:00 2014 peter.trommlerAATTohm-hochschule.de
- update to 8.4pl3 from upstream
- follow upstream versioning

Sun Nov 10 13:00:00 2013 peter.trommlerAATTohm-hochschule.de
- revert to our own lablgtk on older systems

* coq-ide cannot be built using 12.2 lablgtk2

Wed Nov 6 13:00:00 2013 peter.trommlerAATTohm-hochschule.de
- use system provided lablgtk2

Mon Apr 8 14:00:00 2013 peter.trommlerAATTohm-hochschule.de
- update to 8.4pl2
- coqtop: handle interrupt signals reliably
- restor old behavior for code extraction (AccessOpaque)

Wed Dec 26 13:00:00 2012 peter.trommlerAATTohm-hochschule.de
- update to 8.4pl1 from upstream
- dropped f0b93...055.patch (integrated upstream)
- use ocamlfind to find lablgtk2

Mon Dec 3 13:00:00 2012 peter.trommlerAATTohm-hochschule.de
- add patch for lablgtk2 v 2.16

Thu Nov 29 13:00:00 2012 peter.trommlerAATTohm-hochschule.de
- mark config file

Sun Nov 11 13:00:00 2012 peter.trommlerAATTohm-hochschule.de
- give up on old ocaml names and require ocaml-lablgtk2-devel
- clean up spec file

Thu Oct 18 14:00:00 2012 peter.trommlerAATTohm-hochschule.de
- remove requires and rely on automatic dependency generation
for ocaml

Wed Oct 17 14:00:00 2012 peter.trommlerAATTohm-hochschule.de
- packaged new file coq.png

Sun Oct 7 14:00:00 2012 peter.trommlerAATTohm-hochschule.de
- update to 8.4 from upstream

Thu Apr 12 14:00:00 2012 peter.trommlerAATTohm-hochschule.de
- add ocaml- prefix to lablgtk-devel Buildrequires

Wed Apr 11 14:00:00 2012 peter.trommlerAATTohm-hochschule.de
- add Buildrequires hevea needed for documentation

Wed Apr 11 14:00:00 2012 peter.trommlerAATTohm-hochschule.de
- cleaned up spec file (BuildRequires and Requires one each line)
- SPDX license tag

Wed Apr 11 14:00:00 2012 peter.trommlerAATTohm-hochschule.de
- upgraded to 8.3pl4 from upstream
Bug fixes:
- #2724 (using notations with binders in cases patterns was provoking an anomaly)
- #2723 (alpha-conversion bug #2723 introduced in r12485-12486)
- #2732 (anomaly when using the tolerance for writing \"f atomic_tac\"
as a short-hand for \"f ltac:(atomic_tac)\")
- #2729 (vm_compute: function used to decompose constructors did not handle let-ins)
- #2728 (compatibility with camlp5 6.05)
- #2682 (Fail discard the effects of a successful command)
- #2703 (Undetected universe inconsistency)
- #2667 (Coq crashes when \"Arguments Scope\" has too many parameters)
- Compilation of coqide under MacOS with gtk >= 2.24.11
- Coqdoc: Fixing missing newline when using \"Proof term.\"