diff options
| author |   Alexis Ballier <aballier@gentoo.org> | 2017-01-23 10:02:22 +0100 |
|---|---|---|
| committer | Alexis Ballier <aballier@gentoo.org> | 2017-01-23 10:02:22 +0100 |
| commit | f5add80db83aba50dd9015184a6564cec0773c58 (patch) | |
| tree | 2bcb1e62232b977c92a28c2e5f447a255fffb8cf /sci-mathematics/coq/Manifest | |
| parent | media-video/cinelerra: Fix build with USE=-*; bug #606872. (diff) | |
| download | gentoo-f5add80db83aba50dd9015184a6564cec0773c58.tar.gz gentoo-f5add80db83aba50dd9015184a6564cec0773c58.tar.bz2 gentoo-f5add80db83aba50dd9015184a6564cec0773c58.zip | |
app-doc/pms: Adjust deps for TeX Live 2016, bug #606790.
Package-Manager: Portage-2.3.3, Repoman-2.3.1
Diffstat (limited to 'sci-mathematics/coq/Manifest')
0 files changed, 0 insertions, 0 deletions