Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | batch importHEADmaster | 2015-06-20 | 4 | -65/+125 | |
* | again-birth of the repo (was a wee too messy) | 2013-08-16 | 4 | -0/+172 |
![]() |
index : user/dawan.git | |
OCaml and proof-search related ebuilds | Quentin Heath <dawan@melix.net> |
summaryrefslogtreecommitdiff |
Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | batch importHEADmaster | 2015-06-20 | 4 | -65/+125 | |
* | again-birth of the repo (was a wee too messy) | 2013-08-16 | 4 | -0/+172 |