diff options
author | Stephane Glondu <steph@glondu.net> | 2009-01-31 17:09:11 +0100 |
---|---|---|
committer | Stephane Glondu <steph@glondu.net> | 2009-02-01 00:54:52 +0100 |
commit | 9fb907bf00825cd43c3fd62f0edc26b8e853e0b7 (patch) | |
tree | af0753ac874b0219d52e539d56459ba172c622a7 /debian/coq-libs.dirs | |
parent | 9c775561f67ac558c2c408cfa873544e2fea7b0a (diff) |
New upstream release candidate
Diffstat (limited to 'debian/coq-libs.dirs')
0 files changed, 0 insertions, 0 deletions