]> git.pld-linux.org Git - packages/alt-ergo.git/log
projects / packages / alt-ergo.git / log
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
packages/alt-ergo.git
10 years ago- disable parallel build auto/th/alt-ergo-0.95.1-1
commit | commitdiff | tree
Jan Rękorajski [Thu, 16 May 2013 10:37:36 +0000 (12:37 +0200)]
- disable parallel build

10 years ago- new
commit | commitdiff | tree
Jan Rękorajski [Thu, 16 May 2013 10:35:22 +0000 (12:35 +0200)]
- new

Automated theorem prover including linear arithmetic
This page took 0.048594 seconds and 4 git commands to generate.