Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Add one more file | MichalMoskal | 2010-10-07 |
* | Update to include all build artifacts, also from Dafny | MichalMoskal | 2010-10-07 |
* | Addint ignore file for GIT | stobies | 2010-08-27 |
index : debian-boogie | ||
Debian packaging for Boogie |
summaryrefslogtreecommitdiff |
Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Add one more file | MichalMoskal | 2010-10-07 |
* | Update to include all build artifacts, also from Dafny | MichalMoskal | 2010-10-07 |
* | Addint ignore file for GIT | stobies | 2010-08-27 |