index
:
guix-patches
issue-50054
issue-54165
issue-65031
issue-67755
issue-69074
issue-69389
issue-69461
issue-69468
issue-69591
issue-69736
issue-69918
issue-69980
issue-70066
issue-70389
issue-70684
issue-70701
issue-70787
issue-70800
issue-70828
issue-70829
issue-70837
issue-70875
issue-70880
issue-70884
issue-70895
issue-70896
issue-70924
issue-70925
issue-70933
issue-70965
issue-70967
issue-70985
issue-70995
issue-71038
issue-71052
issue-71077
issue-71109
issue-71128
issue-71141
issue-71143
issue-71145
issue-71146
issue-71161
issue-71181
issue-71184
issue-71203
issue-71219
issue-71228
issue-71232
issue-71251
issue-71257
issue-71279
issue-71280
issue-71316
issue-71327
issue-71359
issue-71403
issue-71414
issue-71418
issue-71423
issue-71447
issue-71449
issue-71451
issue-71482
issue-71506
issue-71516
issue-71519
issue-71540
issue-71544
issue-71552
issue-71581
issue-71585
issue-71589
issue-71594
issue-71599
issue-71613
issue-71615
issue-71630
issue-71667
issue-71668
issue-71673
issue-71676
issue-71697
issue-71713
issue-71719
issue-71722
issue-71747
issue-71758
issue-71764
issue-71769
issue-71773
issue-71780
issue-71781
issue-71782
issue-71787
issue-71788
issue-71793
issue-71794
issue-71802
issue-71806
issue-71821
issue-71825
issue-71826
issue-71831
issue-71832
issue-71833
issue-71857
issue-71859
issue-71862
issue-71871
issue-71875
issue-71876
issue-71884
issue-71897
issue-71900
issue-71911
issue-71920
issue-71922
issue-71925
issue-71928
issue-71930
issue-71931
issue-71933
issue-71937
issue-71938
issue-71944
issue-71947
issue-71948
issue-71949
issue-71950
issue-71954
issue-71956
issue-71957
issue-71968
issue-71974
issue-71976
issue-71977
issue-71978
issue-71981
issue-71982
issue-71984
issue-71989
issue-71990
issue-71991
issue-71993
issue-71994
issue-71996
issue-71997
issue-72001
issue-72002
master
Patches for guix
Gitolite user
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
gnu
/
packages
/
coq.scm
Commit message (
Expand
)
Author
Age
*
gnu: coq: Update to 8.14.1.
Julien Lepiller
2021-12-22
*
gnu: Simplify package inputs.
Ludovic Courtès
2021-12-13
*
gnu: coq: Update to 8.14.0.
Julien Lepiller
2021-11-30
*
gnu: proof-general: Update to latest commit.
Julien Lepiller
2021-11-30
*
gnu: coq-semantics: Update to 8.14.0.
Julien Lepiller
2021-11-30
*
gnu: proof-general: Adjust autoloads for Emacs.
zimoun
2021-11-22
*
gnu: coq-stdpp: Update to 1.6.0.
Julien Lepiller
2021-11-21
*
gnu: coq-interval: Update to 4.3.1.
Julien Lepiller
2021-11-21
*
gnu: coq-coquelicot: Update to 3.2.0.
Julien Lepiller
2021-11-21
*
gnu: coq-mathcomp: Update to 1.13.0.
Julien Lepiller
2021-11-21
*
gnu: coq-gappa: Update to 1.5.0.
Julien Lepiller
2021-11-21
*
gnu: coq-flocq: Update to 3.4.2.
Julien Lepiller
2021-11-21
*
gnu: coq-interval: Update home-page.
Julien Lepiller
2021-11-20
*
gnu: coq-gappa: Update home-page.
Julien Lepiller
2021-11-20
*
gnu: coq-flocq: Update home-page.
Julien Lepiller
2021-11-20
*
gnu: coq-stdpp: Adjust '#:make-flags'.
zimoun
2021-11-18
*
gnu: coq-equations: Adjust '#:make-flags'.
zimoun
2021-11-18
*
gnu: coq-autosubst: Adjust '#:make-flags'.
zimoun
2021-11-18
*
gnu: coq-mathcomp: Adjust '#:make-flags'.
zimoun
2021-11-18
*
gnu: Add coq-semantics.
zimoun
2021-11-18
*
gnu: coq: Add upstream-name.
Julien Lepiller
2021-10-08
*
gnu: coq: Update to 8.13.2.
Julien Lepiller
2021-07-31
*
gnu: coq-stdpp: Update to 1.5.0.
Julien Lepiller
2021-07-31
*
gnu: proof-general: Update to 4.4-0.bc86736.
Xinglu Chen
2021-06-13
*
gnu: Don't append '.git' to GitHub uris.
Efraim Flashner
2020-11-19
*
gnu: Update coq and its dependents
Robin Green
2020-09-14
*
gnu: coq-stdpp: Update to 1.4.0.
Robin Green
2020-09-08
*
gnu: coq: fix coqide not finding coqidetop.opt
raingloom
2020-09-07
*
gnu: coq-equations: Update 1.2.1-8.10-2.
Robin Green
2020-09-07
*
gnu: Remove ".git" from "https://github/…/….git".
Ludovic Courtès
2020-07-12
*
gnu: proof-general: Update home-page.
John Soo
2020-04-02
*
gnu: proof-general: Update to 4.4.
John Soo
2020-04-02
*
gnu: coq-mathcomp: Update home page URI.
Björn Höfling
2020-03-05
*
gnu: coq-stdpp: Reword comment.
Brett Gilio
2020-01-07
*
gnu: coq-stdpp: Update to 1.2.1.
Brett Gilio
2020-01-07
*
gnu: coq-bignums: Fix comment spacing.
Brett Gilio
2020-01-07
*
gnu: coq-bignums: Update to 8.10.0.
Brett Gilio
2020-01-07
*
gnu: coq-equations: Update to 1.2.1.
Brett Gilio
2020-01-06
*
gnu: coq-interval: Update to 3.4.1.
Brett Gilio
2020-01-06
*
gnu: coq-coquelicot: Truncate home-page.
Brett Gilio
2020-01-06
*
gnu: coq-coquelicot: Update to 3.0.3.
Brett Gilio
2020-01-06
*
gnu: coq-gappa: Use HTTPS home page URI.
Brett Gilio
2020-01-06
*
gnu: coq-gappa: Update to 1.4.2.
Brett Gilio
2020-01-06
*
gnu: coq-flocq: Use HTTPS home page URI.
Brett Gilio
2020-01-06
*
gnu: coq-flocq: Update to 3.2.0.
Brett Gilio
2020-01-06
*
gnu: coq: Reword several comments.
Brett Gilio
2020-01-06
*
gnu: coq: Update to 8.10.2.
Brett Gilio
2020-01-06
*
gnu: coq-mathcomp: Update to 1.10.0.
Brett Gilio
2020-01-05
*
gnu: coq: Split coqide.
Julien Lepiller
2019-12-12
*
gnu: coq-bignums: Don't use unstable tarball.
Efraim Flashner
2019-11-25
[next]