projects / packages / LADR.git / summary
| description | Library for Automated Deduction Research |
| last change | Sun, 24 Jun 2012 12:13:13 +0000 (12:13 +0000) |
| URL | git://git.pld-linux.org/packages/LADR.git |
| ssh://git@git.pld-linux.org/packages/LADR.git |
| 2012-06-24 | Jan Rękorajski | - no parallel build master auto/th/LADR-2009_02A-1 | commit | commitdiff | tree | snapshot |
| 2012-06-24 | Jan Rękorajski | - rel 1 | commit | commitdiff | tree | snapshot |
| 2012-06-24 | Jan Rękorajski | - builds | commit | commitdiff | tree | snapshot |
| 2012-06-24 | Jan Rękorajski | - from debian: | commit | commitdiff | tree | snapshot |
| 2012-06-24 | Jan Rękorajski | - initial revision | commit | commitdiff | tree | snapshot |
| 11 years ago | auto/th/LADR-2009_02A-1 | | commit | shortlog | log |
| 11 years ago | master | shortlog | log | tree |