| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | ChangeLog | 496 | logplain |
| -rw-r--r-- | Manifest | 2270 | logplain |
| -rw-r--r-- | bedwyr-1.3_rc2.ebuild | 2076 | logplain |
| -rw-r--r-- | bedwyr-1.4_beta9.ebuild | 1808 | logplain |
| -rw-r--r-- | metadata.xml | 1386 | logplain |
GitWeb
GitWeb
 |
index : user/dawan.git | |
| OCaml and proof-search related ebuilds | Quentin Heath <dawan@melix.net> |
| summaryrefslogtreecommitdiff |
| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | ChangeLog | 496 | logplain |
| -rw-r--r-- | Manifest | 2270 | logplain |
| -rw-r--r-- | bedwyr-1.3_rc2.ebuild | 2076 | logplain |
| -rw-r--r-- | bedwyr-1.4_beta9.ebuild | 1808 | logplain |
| -rw-r--r-- | metadata.xml | 1386 | logplain |