index
:
guix-patches
issue-50054
issue-62375
issue-64209
issue-66586
issue-67613
issue-67849
issue-68296
issue-69023
issue-69041
issue-69052
issue-69109
issue-69185
issue-69367
issue-69513
issue-69548
issue-69593
issue-69620
issue-69791
issue-69817
issue-69890
issue-69903
issue-69918
issue-69933
issue-69962
issue-69999
issue-70001
issue-70005
issue-70020
issue-70022
issue-70037
issue-70056
issue-70066
issue-70067
issue-70078
issue-70083
issue-70085
issue-70087
issue-70089
issue-70116
issue-70130
issue-70131
issue-70148
issue-70224
issue-70226
issue-70227
issue-70228
issue-70240
issue-70242
issue-70252
issue-70253
issue-70265
issue-70268
issue-70269
issue-70282
issue-70294
issue-70303
issue-70314
issue-70318
issue-70319
issue-70323
issue-70334
issue-70336
issue-70340
issue-70341
issue-70353
issue-70366
issue-70371
issue-70374
issue-70389
issue-70390
issue-70393
issue-70394
issue-70400
issue-70404
issue-70416
issue-70422
issue-70431
issue-70434
issue-70446
issue-70460
issue-70467
issue-70469
issue-70482
issue-70487
issue-70492
issue-70493
issue-70494
issue-70496
issue-70499
issue-70506
issue-70516
issue-70527
issue-70542
issue-70545
issue-70546
issue-70549
issue-70560
issue-70563
issue-70567
issue-70570
issue-70585
issue-70606
issue-70623
issue-70625
issue-70632
issue-70634
issue-70636
issue-70642
issue-70643
issue-70655
issue-70670
issue-70674
issue-70677
issue-70683
issue-70684
issue-70685
issue-70690
issue-70693
issue-70694
issue-70700
issue-70701
issue-70703
issue-70705
issue-70706
issue-70709
issue-70715
issue-70719
issue-70720
issue-70733
issue-70734
issue-70763
issue-70769
issue-70770
issue-70772
issue-70780
issue-70787
issue-70793
issue-70798
issue-70800
issue-70802
issue-70810
issue-70812
issue-70818
issue-70825
issue-70828
issue-70829
issue-70831
issue-70837
issue-70839
issue-70843
issue-70844
issue-70845
issue-70849
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: dune: Update to 4.4.1.
Julien Lepiller
2022-08-13
*
gnu: coq: Update to 8.15.2.
Julien Lepiller
2022-06-18
*
gnu: coq: Update to 8.15.1.
Julien Lepiller
2022-05-01
*
gnu: coq-stdpp: Update to 1.7.0.
Julien Lepiller
2022-02-11
*
gnu: coq-mathcomp: Update to 1.14.0.
Julien Lepiller
2022-02-11
*
gnu: coq: Update to 8.15.0.
Julien Lepiller
2022-02-11
*
gnu: coq-interval: Update to 4.4.0.
Julien Lepiller
2022-02-11
*
gnu: coq-bignums: Update to 8.15.0.
Julien Lepiller
2022-02-11
*
gnu: coq-gappa: Update to 1.5.1.
Julien Lepiller
2022-02-11
*
gnu: coq-flocq: Update to 4.0.0.
Julien Lepiller
2022-02-11
*
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
[next]