]> git.pld-linux.org Git - packages/alt-ergo.git/commit
projects / packages / alt-ergo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 812c459) | patch
- up to 0.95.2 master auto/th/alt-ergo-0.95.2-1
authorJan Rękorajski <baggins@pld-linux.org>
Wed, 30 Apr 2014 17:44:34 +0000 (19:44 +0200)
committerJan Rękorajski <baggins@pld-linux.org>
Wed, 30 Apr 2014 17:44:34 +0000 (19:44 +0200)
commit1bc9c02c2ce428ba3d029b3de1d9bb589a3d614e
treeed7ea3f374c24853e88941b8443e89973c0b40abtree | snapshot
parent812c459bdca5700f8cbe5c2c3df3a08efc976259commit | diff
- up to 0.95.2
alt-ergo.spec diff | blob | blame | history
Automated theorem prover including linear arithmetic
This page took 0.071949 seconds and 4 git commands to generate.