]> git.pld-linux.org Git - packages/LADR.git/history - LADR.spec
projects / packages / LADR.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
- no parallel build
[packages/LADR.git] / LADR.spec
2012-06-24 Jan Rękorajski- no parallel build master auto/th/LADR-2009_02A-1 blob | commitdiff | raw
2012-06-24 Jan Rękorajski- rel 1 blob | commitdiff | raw | diff to current
2012-06-24 Jan Rękorajski- builds blob | commitdiff | raw | diff to current
2012-06-24 Jan Rękorajski- initial revision blob | commitdiff | raw | diff to current
Library for Automated Deduction Research
This page took 0.101181 seconds and 10 git commands to generate.