diff options
| author |   Brian Evans <grknight@gentoo.org> | 2016-12-19 13:44:16 -0500 |
|---|---|---|
| committer | Brian Evans <grknight@gentoo.org> | 2016-12-19 13:44:55 -0500 |
| commit | 478d581138e9d02034547be51d1d193a8d8a1094 (patch) | |
| tree | d453061ac3006c63055c262513eac40391a5a130 /sci-mathematics/coq | |
| parent | dev-php/pecl-mailparse: Drop masked revision which points to EOL PHPs (diff) | |
| download | gentoo-478d581138e9d02034547be51d1d193a8d8a1094.tar.gz gentoo-478d581138e9d02034547be51d1d193a8d8a1094.tar.bz2 gentoo-478d581138e9d02034547be51d1d193a8d8a1094.zip | |
profiles/package.mask: Drop mask for PHP 5.5
Diffstat (limited to 'sci-mathematics/coq')
0 files changed, 0 insertions, 0 deletions