- rel 2 auto/th/coq-8.3pl1-2
authorJan Rękorajski <baggins@pld-linux.org>
Tue, 14 May 2013 11:25:27 +0000 (13:25 +0200)
committerJan Rękorajski <baggins@pld-linux.org>
Tue, 14 May 2013 11:25:27 +0000 (13:25 +0200)
commitf44997140d3a699a3b97b1ec3b0c24795728488c
tree5b9ca98b3052a551a924766e0ddaf5720c9233a8
parent053cd42586d0295b51436a2b2aafccf1b7bab71d
- rel 2
coq.spec
This page took 0.058174 seconds and 4 git commands to generate.