diff options
| author | jtb <jtb@pkgsrc.org> | 2001-03-31 18:10:47 +0000 |
|---|---|---|
| committer | jtb <jtb@pkgsrc.org> | 2001-03-31 18:10:47 +0000 |
| commit | 24fa8425a970ed97e8db80fe1eb4ee79011f3380 (patch) | |
| tree | 3a0cfabc098850c630b49272443c4fc37952b048 /math/meschach | |
| parent | 32d4ca07ea908b4fd07ddb4ecb17ce1b9d73ceb6 (diff) | |
| download | pkgsrc-24fa8425a970ed97e8db80fe1eb4ee79011f3380.tar.gz | |
Otter doesn't respect CFLAGS because -O2 optimization causes the program
to malfunction. While here, change COMMENT to "Automated Deduction System".
Diffstat (limited to 'math/meschach')
0 files changed, 0 insertions, 0 deletions