summaryrefslogtreecommitdiff
path: root/debian/coq.install
diff options
context:
space:
mode:
authorGravatar Samuel Mimram <smimram@debian.org>2006-11-26 19:15:53 +0000
committerGravatar Samuel Mimram <smimram@debian.org>2006-11-26 19:15:53 +0000
commitdbc1489e1d5f070da297f9ff6f4201f63f924a11 (patch)
treedc0720e4af278c4b7a1a125bc55ff0126979fcb6 /debian/coq.install
parentb9343b970c40160fdd0329590a03fdec097de54c (diff)
Added next-ia64.dpatch to fix the FTBFS on ia64.
Diffstat (limited to 'debian/coq.install')
0 files changed, 0 insertions, 0 deletions