diff options
author | 2016-02-05 16:13:30 +0100 | |
---|---|---|
committer | 2016-02-05 21:59:02 +0100 | |
commit | b7cff0fb4c15105d3026e7d9d258559bdd32f30d (patch) | |
tree | e950d8f92b2ff64ebac8e30bf138e75bf645a2cb /dev-embedded | |
parent | dev-ml/bin-prot: drop camlp4 dep; update license (diff) | |
download | gentoo-b7cff0fb4c15105d3026e7d9d258559bdd32f30d.tar.gz gentoo-b7cff0fb4c15105d3026e7d9d258559bdd32f30d.tar.bz2 gentoo-b7cff0fb4c15105d3026e7d9d258559bdd32f30d.zip |
dev-ml/ppx_bin_prot: initial import; ebuild by me
Package-Manager: portage-2.2.27
Signed-off-by: Alexis Ballier <aballier@gentoo.org>
Diffstat (limited to 'dev-embedded')
0 files changed, 0 insertions, 0 deletions