index
:
guix-patches
issue-54165
issue-65031
issue-67755
issue-69461
issue-69736
issue-69918
issue-69975
issue-70066
issue-70341
issue-70800
issue-70829
issue-70837
issue-70875
issue-70880
issue-70895
issue-70933
issue-70967
issue-70995
issue-71052
issue-71141
issue-71145
issue-71184
issue-71232
issue-71279
issue-71280
issue-71316
issue-71327
issue-71359
issue-71403
issue-71414
issue-71418
issue-71447
issue-71451
issue-71519
issue-71585
issue-71589
issue-71594
issue-71599
issue-71615
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-71793
issue-71794
issue-71802
issue-71821
issue-71826
issue-71831
issue-71832
issue-71833
issue-71857
issue-71859
issue-71862
issue-71871
issue-71875
issue-71897
issue-71911
issue-71920
issue-71922
issue-71925
issue-71928
issue-71930
issue-71931
issue-71933
issue-71937
issue-71938
issue-71947
issue-71957
issue-71968
issue-71976
issue-71978
issue-71981
issue-71982
issue-71989
issue-71996
issue-72000
issue-72001
issue-72009
issue-72011
issue-72016
issue-72017
issue-72027
issue-72030
issue-72031
issue-72032
issue-72033
issue-72035
issue-72037
issue-72060
issue-72062
issue-72066
issue-72070
issue-72071
issue-72072
issue-72074
issue-72078
issue-72082
issue-72083
issue-72087
issue-72101
issue-72103
issue-72106
issue-72107
issue-72108
issue-72109
issue-72111
issue-72112
issue-72113
issue-72114
issue-72115
issue-72123
issue-72125
issue-72136
issue-72137
issue-72140
issue-72142
issue-72143
issue-72146
issue-72149
issue-72151
issue-72152
issue-72155
issue-72162
issue-72164
issue-72168
issue-72177
issue-72179
issue-72180
issue-72181
issue-72183
issue-72189
issue-72192
issue-72194
issue-72195
issue-72197
issue-72205
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: proof-general: Update to 4.5@cb23709a.
Arnaud Daby-Seesaram
2024-06-26
*
gnu: coq-autosubst: Fix Coq 8.19 compatibility.
Jean-Pierre De Jesus DIAZ
2024-06-23
*
gnu: coq-stdpp: Update to 1.10.0.
Jean-Pierre De Jesus DIAZ
2024-06-16
*
gnu: coq-mathcomp: Update to 1.19.0.
Jean-Pierre De Jesus DIAZ
2024-06-16
*
gnu: coq-interval: Update to 4.10.0.
Jean-Pierre De Jesus DIAZ
2024-06-16
*
gnu: coq-gappa: Update to 1.5.5.
Jean-Pierre De Jesus DIAZ
2024-06-16
*
gnu: coq-coquelicot: Update to 3.4.1.
Jean-Pierre De Jesus DIAZ
2024-06-16
*
gnu: coq-flocq: Update to 4.1.4.
Jean-Pierre De Jesus DIAZ
2024-05-15
*
gnu: coq: Update to 8.17.1.
pukkamustard
2024-02-08
*
gnu: Update coq-interval to 4.8.0.
pukkamustard
2024-02-08
*
gnu: Update coq-stdpp to 1.8.0.
pukkamustard
2024-02-08
*
gnu: Update coq-autosubst to 1.8.
pukkamustard
2024-02-08
*
gnu: Update coq-mathcomp to 1.17.0.
pukkamustard
2024-02-08
*
gnu: Update coq-coquelicot to 3.4.0.
pukkamustard
2024-02-08
*
gnu: Update coq-gappa to 1.5.3.
pukkamustard
2024-02-08
*
gnu: Update coq-flocq to 4.1.1.
pukkamustard
2024-02-08
*
gnu: Add coq-for-coqtail.
Jean-Pierre De Jesus DIAZ
2023-11-23
*
gnu: Remove unneeded module imports.
Efraim Flashner
2023-02-16
*
gnu: coq-core: Update to 8.16.1.
Julien Lepiller
2022-11-27
*
gnu: Fix typos.
Vagrant Cascadian
2022-10-23
*
gnu: Add coq-mathcomp-bigenough.
Garek Dyszel
2022-09-24
*
gnu: Add coq-mathcomp-finmap.
Garek Dyszel
2022-09-24
*
gnu: coq: Update to 8.16.0.
Julien Lepiller
2022-09-22
*
gnu: coq-interval: Update to 4.5.2.
Julien Lepiller
2022-09-22
*
gnu: coq-mathcomp: Update to 1.15.0.
Julien Lepiller
2022-09-22
*
gnu: coq-gappa: Update to 1.5.2.
Julien Lepiller
2022-09-22
*
gnu: coq-flocq: Update to 4.1.0.
Julien Lepiller
2022-09-22
*
gnu: lablgtk3: Update to 3.1.2.
Julien Lepiller
2022-09-22
*
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
[next]