diff options
author | 2007-03-24 11:48:50 +0000 | |
---|---|---|
committer | 2007-03-24 11:48:50 +0000 | |
commit | 04d097b8f27b9fa916f583b0152e34466d8602a3 (patch) | |
tree | 5e2dd38a61c41e7502348099445d7c222ed0ea97 /debian/patches/coqdoc_stdlib.dpatch | |
parent | ac552df07d6a8a8de6f203a84721e5b392e69453 (diff) |
Uploading to experimental.debian/8.1+dfsg-2
Diffstat (limited to 'debian/patches/coqdoc_stdlib.dpatch')
0 files changed, 0 insertions, 0 deletions