dev-ml/num: add for newer ocaml + coq
[gentoo.git] / dev-ml / pipebang / pipebang-113.00.00.ebuild
2017-02-28 Robin H. JohnsonDrop $Id$ per council decision in bug #611234.
2015-10-05 Markos ChandrasMerge remote-tracking branch 'jirutka/lxc-grsec'
2015-10-03 Michał Górnydev-db/postgresql: Merge "use /bin/sh (...) for postgre...
2015-09-29 Patrice ClementMerge remote-tracking branch 'remotes/github/pr/52'.
2015-09-27 Andreas K. Huettel... Merge remote-tracking branch 'github/pr/135'
2015-09-23 Patrice ClementMerge remote-tracking branch 'remotes/github/pr/120'.
2015-09-23 Patrice ClementMerge remote-tracking branch 'remotes/github/pr/121'.
2015-09-19 Alexis Ballierdev-ml/pipebang: bump to 113.00.00