diff options
| author |   Alexis Ballier <aballier@gentoo.org> | 2017-01-24 12:33:44 +0100 |
|---|---|---|
| committer | Alexis Ballier <aballier@gentoo.org> | 2017-01-24 12:33:44 +0100 |
| commit | cfc05caf03f92745013367d8bb8a32ecfc833c92 (patch) | |
| tree | dce897d230238f37b82010312b86575f3fa0fd33 /dev-ml/ppx_compare | |
| parent | dev-ml/ppx_bench: remove old (diff) | |
| download | gentoo-cfc05caf03f92745013367d8bb8a32ecfc833c92.tar.gz gentoo-cfc05caf03f92745013367d8bb8a32ecfc833c92.tar.bz2 gentoo-cfc05caf03f92745013367d8bb8a32ecfc833c92.zip | |
dev-ml/ppx_bin_prot: remove old
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Diffstat (limited to 'dev-ml/ppx_compare')
0 files changed, 0 insertions, 0 deletions