History of theories / QArith @debian/8.1.pl2+dfsg-3

• Imported Upstream version 8.1.pl1+dfsg Samuel Mimram 16 years ago
• Imported Upstream version 8.1+dfsg Samuel Mimram 17 years ago
• Imported Upstream version 8.1~gamma Samuel Mimram 17 years ago
• Imported Upstream version 8.0pl3+8.1beta.2 Samuel Mimram 17 years ago
• Imported Upstream version 8.0pl3+8.1beta Samuel Mimram 17 years ago