|
patch-aa
|
Update lang/coq to 8.2pl1
|
2009-09-05 20:44:57 +00:00 |
|
patch-ab
|
Update lang/coq to 8.2pl1
|
2009-09-05 20:44:57 +00:00 |
|
patch-ac
|
Update lang/coq to 8.2pl1
|
2009-09-05 20:44:57 +00:00 |
|
patch-ad
|
Support staged installation.
|
2009-12-12 21:12:43 +00:00 |
