/gnu/system/

/log/gnu/packages?id=9ede39d64ff8a3f6facb8128a02a722b44ea75e5'>packages/coq.scm
:19 +0200'>2015-06-10
AgeCommit message (Expand)Author
2020-09-14gnu: Update coq and its dependents...Robin Green
2020-09-08gnu: coq-stdpp: Update to 1.4.0....Robin Green
2020-09-07gnu: coq: fix coqide not finding coqidetop.opt...raingloom
2020-09-07gnu: coq-equations: Update 1.2.1-8.10-2....Robin Green
2020-07-12gnu: Remove ".git" from "https://github/…/….git"....Ludovic Courtès
2020-04-02gnu: proof-general: Update home-page....John Soo
2020-04-02gnu: proof-general: Update to 4.4....John Soo
2020-03-05gnu: coq-mathcomp: Update home page URI....Björn Höfling
doc: Add 'help2man' to HACKING....Alex Kost
2015-05-23doc: Add "Running Guix Before It Is Installed"....Ludovic Courtès
2015-02-26doc: Remove reference to git submodules in HACKING....Mark H Weaver
2014-09-03doc: Mention 'guix lint' and '--list-dependent' in 'HACKING'....Ludovic Courtès
2014-05-11doc: Mention upgrades that trigger a lot of rebuilds....Ludovic Courtès
2014-03-10doc: Update packaging guidelines....Pierre-Antoine Rault