Vincent Laporte
|
48f9d48a51
|
proofgeneral_HEAD: 2017-05-06 -> 2017-11-06
|
2017-11-16 00:01:42 +00:00 |
|
Valentin Robert
|
eaef55f699
|
proofgeneral_HEAD: fix for files removed upstream
|
2017-05-18 16:43:38 -07:00 |
|
Sophie Taylor
|
fb0410c208
|
proofgeneral: 2017-03-13 -> 2017-05-06 (#25695)
|
2017-05-11 07:36:00 +01:00 |
|
rht
|
31b0e34d1d
|
Use consistent package naming for HEAD.nix files
|
2017-05-09 10:31:15 +07:00 |
|
Vincent Laporte
|
09e814c681
|
proofgeneral_HEAD: Bump
|
2017-03-22 01:36:35 +00:00 |
|
Shea Levy
|
6651c72df1
|
proofgeneral_HEAD: Bump
|
2017-02-11 21:01:56 -05:00 |
|
Shea Levy
|
d1154edf44
|
proofgeneral_HEAD: bump
|
2016-09-05 11:43:10 -04:00 |
|
Tuomas Tynkkynen
|
bac26e08db
|
Fix lots of fetchgit hashes (fallout from #15469)
|
2016-06-03 17:17:08 +03:00 |
|
John Wiegley
|
0ee75214f3
|
proofgeneral_HEAD: New expr: Proof General from GitHub
|
2016-03-07 07:16:04 -08:00 |
|