]>
author | Arkadiusz Miśkiewicz <arekm@maven.pl> | |
Sat, 21 Jan 2006 00:01:16 +0000 (00:01 +0000) | ||
committer | cvs2git <feedback@pld-linux.org> | |
Sun, 24 Jun 2012 12:13:13 +0000 (12:13 +0000) | ||
commit | 229b1af51ffb5ea5505d9c98f0b7fefd8ca82da3 | |
tree | 5de85aec2a47d03e4766a75987de6e7259a2e465 | tree | snapshot |
parent | 38cacf124fb3e6c6129a33ff086d354e99dc6d4f | commit | diff |
coq.spec | diff | blob | blame | history |