]>
description | Automated theorem prover including linear arithmetic |
last change | Wed, 30 Apr 2014 17:44:34 +0000 (19:44 +0200) |
URL | git://git.pld-linux.org/packages/alt-ergo.git |
ssh://git@git.pld-linux.org/packages/alt-ergo.git |
2014-04-30 | Jan Rękorajski | - up to 0.95.2 master auto/th/alt-ergo-0.95.2-1 | commit | commitdiff | tree | snapshot |
2013-05-16 | Jan Rękorajski | - removed fedora leftovers | commit | commitdiff | tree | snapshot |
2013-05-16 | Jan Rękorajski | - disable parallel build auto/th/alt-ergo-0.95.1-1 | commit | commitdiff | tree | snapshot |
2013-05-16 | Jan Rękorajski | - new | commit | commitdiff | tree | snapshot |
9 years ago | auto/th/alt-ergo-0.95.2-1 | | commit | shortlog | log | ||
10 years ago | auto/th/alt-ergo-0.95.1-1 | | commit | shortlog | log |
9 years ago | master | shortlog | log | tree |