aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/lisp.scm
diff options
context:
space:
mode:
Diffstat (limited to 'gnu/packages/lisp.scm')
0 files changed, 0 insertions, 0 deletions
a50b4d5'>gnu: 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