projects / packages / alt-ergo.git / summary
| 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 |