diff options
author | Alexis Ballier <aballier@gentoo.org> | 2016-12-19 19:55:22 +0100 |
---|---|---|
committer | Alexis Ballier <aballier@gentoo.org> | 2016-12-19 19:55:31 +0100 |
commit | 52faa1c8e0ef22306620cbe2d64febb99ebe7d15 (patch) | |
tree | 5440fc81d0f718d5de4f1cbac30b96f61ff5b9f3 /sci-geosciences | |
parent | profiles/package.mask: Drop mask for PHP 5.5 (diff) | |
download | gentoo-52faa1c8e0ef22306620cbe2d64febb99ebe7d15.tar.gz gentoo-52faa1c8e0ef22306620cbe2d64febb99ebe7d15.tar.bz2 gentoo-52faa1c8e0ef22306620cbe2d64febb99ebe7d15.zip |
sci-mathematics/coq: add missing findlib build dep, bug #603126
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Diffstat (limited to 'sci-geosciences')
0 files changed, 0 insertions, 0 deletions