root/packages/main/python-formal/trunk
| Name | Size | Rev | Age | Last Change |
|---|---|---|---|---|
| ../ | ||||
| debian | 516 | 7 months | [svn-inject] Installing original source of python-formal | |
| formal | 516 | 7 months | [svn-inject] Installing original source of python-formal | |
| AUTHORS | 293 bytes | 516 | 7 months | [svn-inject] Installing original source of python-formal |
| ChangeLog | 4.3 kB | 516 | 7 months | [svn-inject] Installing original source of python-formal |
| darcs-changelog | 10.3 kB | 516 | 7 months | [svn-inject] Installing original source of python-formal |
| examples.tac | 249 bytes | 516 | 7 months | [svn-inject] Installing original source of python-formal |
| LICENSE | 1.0 kB | 516 | 7 months | [svn-inject] Installing original source of python-formal |
| required-tests.txt | 73 bytes | 516 | 7 months | [svn-inject] Installing original source of python-formal |
| setup.cfg | 45 bytes | 516 | 7 months | [svn-inject] Installing original source of python-formal |
| setup.py | 297 bytes | 516 | 7 months | [svn-inject] Installing original source of python-formal |
Note: See TracBrowser for help on using the browser.
