diff options
| author |  Samuel Mimram <smimram@debian.org> | 2006-11-26 19:15:53 +0000 |
|---|---|---|
| committer | Samuel Mimram <smimram@debian.org> | 2006-11-26 19:15:53 +0000 |
| commit | dbc1489e1d5f070da297f9ff6f4201f63f924a11 (patch) | |
| tree | dc0720e4af278c4b7a1a125bc55ff0126979fcb6 /theories/Reals/Rfunctions.v | |
| parent | b9343b970c40160fdd0329590a03fdec097de54c (diff) | |
Added next-ia64.dpatch to fix the FTBFS on ia64.
Diffstat (limited to 'theories/Reals/Rfunctions.v')
0 files changed, 0 insertions, 0 deletions