scripts - guix - Wojtek's customized Guix

about summary refs log tree commit diff

path: root/scripts

Mode	Name	Size
-rw-r--r--	guix.in	1891	log plain about

'>...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