diff options
| author |  Stephane Glondu <steph@glondu.net> | 2010-10-18 14:18:44 +0200 |
|---|---|---|
| committer | Stephane Glondu <steph@glondu.net> | 2010-10-18 14:18:44 +0200 |
| commit | 4444bb6e3001af0ad490dc18c7d5fe3ba35b1fe8 (patch) | |
| tree | f5025aa93f9e09c51ffae705e6f2d4ef2920f0d8 | |
| parent | 85851c709f3d4f946dd790d60d7a13523861c30c (diff) | |
pristine-tar data for coq_8.3+dfsg.orig.tar.gz
| -rw-r--r-- | coq_8.3+dfsg.orig.tar.gz.delta | bin | 0 -> 1726070 bytes | |||
| -rw-r--r-- | coq_8.3+dfsg.orig.tar.gz.id | 1 |
2 files changed, 1 insertions, 0 deletions
diff --git a/coq_8.3+dfsg.orig.tar.gz.delta b/coq_8.3+dfsg.orig.tar.gz.delta Binary files differnew file mode 100644 index 00000000..c532d301 --- /dev/null +++ b/coq_8.3+dfsg.orig.tar.gz.delta diff --git a/coq_8.3+dfsg.orig.tar.gz.id b/coq_8.3+dfsg.orig.tar.gz.id new file mode 100644 index 00000000..f7416de5 --- /dev/null +++ b/coq_8.3+dfsg.orig.tar.gz.id @@ -0,0 +1 @@ +da178a880e3ace820b41d38b191d3785b82991f5 |