aboutsummaryrefslogtreecommitdiff


 
                         
generated by
                             
                                 cgit
                             
                         

                        
 


'/guix/log/gnu/packages/coq.scm?id=0a60386f744a0735d4330800a538c71839f9aaa1'>coq.scm
AgeCommit message (Expand)Author


2020-03-05gnu: coq-mathcomp: Update home page URI....Björn Höfling


2020-01-07gnu: coq-stdpp: Reword comment....Brett Gilio


2020-01-07gnu: coq-stdpp: Update to 1.2.1....Brett Gilio


2020-01-07gnu: coq-bignums: Fix comment spacing....Brett Gilio


2020-01-07gnu: coq-bignums: Update to 8.10.0....Brett Gilio


2020-01-06gnu: coq-equations: Update to 1.2.1....Brett Gilio


2020-01-06gnu: coq-interval: Update to 3.4.1....Brett Gilio


2020-01-06gnu: coq-coquelicot: Truncate home-page....Brett Gilio


2020-01-06gnu: coq-coquelicot: Update to 3.0.3....Brett Gilio


2020-01-06gnu: coq-gappa: Use HTTPS home page URI....Brett Gilio


2020-01-06gnu: coq-gappa: Update to 1.4.2....Brett Gilio


2020-01-06gnu: coq-flocq: Use HTTPS home page URI....Brett Gilio


2020-01-06gnu: coq-flocq: Update to 3.2.0....Brett Gilio


2020-01-06gnu: coq: Reword several comments....Brett Gilio


2020-01-06gnu: coq: Update to 8.10.2....Brett Gilio


2020-01-05gnu: coq-mathcomp: Update to 1.10.0....Brett Gilio


2019-12-12gnu: coq: Split coqide....Julien Lepiller


2019-11-25gnu: coq-bignums: Don't use unstable tarball....Efraim Flashner


2019-10-20gnu: Remove more GCC < 7 workarounds....Marius Bakke


2019-06-07gnu: coq: Update to 8.9.1....Tobias Geerinckx-Rice


2019-05-26gnu: coq-equations: Update to 1.2....Dan Frumin


2019-05-24gnu: Add coq-stdpp....Dan Frumin


2019-05-04gnu: coq-bignums: Update to 8.9.0....Julien Lepiller


2019-05-04gnu: coq-mathcomp: Update to 1.8.0....Julien Lepiller


2019-05-04gnu: coq-gappa: Update to 1.3.4....Julien Lepiller


2019-05-04gnu: coq: Update to 8.9.0....Julien Lepiller


2019-03-19gnu: coq-flocq: remove unnecessary return values...Dan Frumin


2019-03-04gnu: coq-coquelicot: Update to 3.0.2....Dan Frumin


2019-03-01gnu: coq-flocq: Update to 3.1.0....Dan Frumin


2019-02-13gnu: Add coq-equations....Dan Frumin


2019-02-13gnu: coq-mathcomp: Don't use unstable tarball....Tobias Geerinckx-Rice


2019-02-13gnu: coq: Don't use unstable tarball....Tobias Geerinckx-Rice


2019-02-07gnu: Add coq-autosubst...Dan Frumin