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 |
![]() |
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 |