| Commit message (Collapse) | Author | Age | Files | Lines |
|
|
|
| |
(Portage version: 2.2.14/cvs/Linux x86_64, signed Manifest commit with key 565C32BC)
|
|
|
|
| |
(Portage version: 2.2.14/cvs/Linux x86_64, signed Manifest commit with key 565C32BC)
|
|
|
|
| |
(Portage version: 2.2.18/cvs/Linux x86_64, signed Manifest commit with key B9D4F231BD1558AB!)
|
|
|
|
| |
(Portage version: 2.2.18/cvs/Linux x86_64, signed Manifest commit with key B9D4F231BD1558AB!)
|
|
|
|
| |
(Portage version: 2.2.14/cvs/Linux x86_64, signed Manifest commit with key 565C32BC)
|
|
|
|
| |
(Portage version: 2.2.14/cvs/Linux x86_64, signed Manifest commit with key 565C32BC)
|
|
|
|
| |
(Portage version: 2.2.14/cvs/Linux x86_64, signed Manifest commit with key 565C32BC)
|
|
|
|
| |
(Portage version: 2.2.14/cvs/Linux x86_64, signed Manifest commit with key 565C32BC)
|
|
|
|
| |
(Portage version: 2.2.17/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
|
|
|
|
| |
(Portage version: 2.2.17/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
|
|
|
|
| |
(Portage version: 2.2.17/cvs/Linux x86_64, signed Manifest commit with key B9D4F231BD1558AB!)
|
|
|
|
| |
(Portage version: 2.2.17/cvs/Linux x86_64, signed Manifest commit with key B9D4F231BD1558AB!)
|
|
|
|
| |
(Portage version: 2.2.17/cvs/Linux x86_64, signed Manifest commit with key EFB4464E!)
|
|
|
|
| |
(Portage version: 2.2.17/cvs/Linux x86_64, signed Manifest commit with key EFB4464E!)
|
|
|
|
| |
(Portage version: 2.2.15/cvs/Linux x86_64, signed Manifest commit with key A188FBD4)
|
|
|
|
| |
(Portage version: 2.2.15/cvs/Linux x86_64, signed Manifest commit with key A188FBD4)
|
|
|
|
|
|
| |
patch from upstream: http://lists.gforge.inria.fr/pipermail/coq-commits/2014-October/013582.html. Replace sed to avoid installing revision with patch. Patch Makefile.build to avoid deleting html/refman/index_urls.txt in the test phase and then failing to install with FEATURES=test and USE=doc
(Portage version: 2.2.17/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
|
|
|
|
|
|
| |
patch from upstream: http://lists.gforge.inria.fr/pipermail/coq-commits/2014-October/013582.html. Replace sed to avoid installing revision with patch. Patch Makefile.build to avoid deleting html/refman/index_urls.txt in the test phase and then failing to install with FEATURES=test and USE=doc
(Portage version: 2.2.17/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
|
|
|
|
| |
(Portage version: 2.2.14/cvs/Linux x86_64, RepoMan options: --include-arches="amd64", signed Manifest commit with key 7194459F)
|
|
|
|
| |
(Portage version: 2.2.14/cvs/Linux x86_64, RepoMan options: --include-arches="amd64", signed Manifest commit with key 7194459F)
|
|
|
|
| |
(Portage version: 2.2.15/cvs/Linux x86_64, unsigned Manifest commit)
|
|
|
|
| |
(Portage version: 2.2.15/cvs/Linux x86_64, unsigned Manifest commit)
|
|
|
|
| |
(Portage version: 2.2.15/cvs/Linux x86_64, unsigned Manifest commit)
|
|
|
|
| |
(Portage version: 2.2.15/cvs/Linux x86_64, unsigned Manifest commit)
|
|
|
|
| |
(Portage version: 2.2.15/cvs/Linux x86_64, signed Manifest commit with key EFB4464E!)
|
|
|
|
| |
(Portage version: 2.2.15/cvs/Linux x86_64, signed Manifest commit with key EFB4464E!)
|
|
|
|
| |
(Portage version: 2.2.14/cvs/Linux x86_64, signed Manifest commit with key 565C32BC)
|
|
|
|
| |
(Portage version: 2.2.14/cvs/Linux x86_64, signed Manifest commit with key 565C32BC)
|
|
|
|
| |
(Portage version: 2.2.15/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
|
|
|
|
| |
(Portage version: 2.2.15/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
|
|
|
|
| |
(Portage version: 2.2.15/cvs/Linux x86_64, unsigned Manifest commit)
|
|
|
|
| |
(Portage version: 2.2.15/cvs/Linux x86_64, unsigned Manifest commit)
|
|
|
|
|
|
| |
dependencies for java packages. Add upper range dependency <dev-lang/scala-2.11.1 to 2013-r1.
(Portage version: 2.2.15/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
|
|
|
|
|
|
| |
dependencies for java packages. Add upper range dependency <dev-lang/scala-2.11.1 to 2013-r1.
(Portage version: 2.2.15/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
|
|
|
|
| |
(Portage version: 2.2.15/cvs/Linux x86_64, signed Manifest commit with key A792A613)
|
|
|
|
| |
(Portage version: 2.2.15/cvs/Linux x86_64, signed Manifest commit with key A792A613)
|
|
|
|
| |
(Portage version: 2.2.15/cvs/Linux x86_64, signed Manifest commit with key EFB4464E!)
|
|
|
|
| |
(Portage version: 2.2.15/cvs/Linux x86_64, signed Manifest commit with key EFB4464E!)
|
|
|
|
| |
(Portage version: 2.2.14/cvs/Linux x86_64, signed Manifest commit with key D1BBFDA0)
|
|
|
|
| |
(Portage version: 2.2.14/cvs/Linux x86_64, signed Manifest commit with key D1BBFDA0)
|
|
|
|
| |
(Portage version: 2.2.15/cvs/Linux x86_64, signed Manifest commit with key B9D4F231BD1558AB!)
|
|
|
|
| |
(Portage version: 2.2.15/cvs/Linux x86_64, signed Manifest commit with key B9D4F231BD1558AB!)
|
|
|
|
|
|
| |
affects gcl)
(Portage version: 2.2.15/cvs/Linux i686, signed Manifest commit with key 0x3AFFCE974D34BD8C!)
|
|
|
|
|
|
| |
affects gcl)
(Portage version: 2.2.15/cvs/Linux i686, signed Manifest commit with key 0x3AFFCE974D34BD8C!)
|
|
|
|
| |
(Portage version: 2.2.15/cvs/Linux i686, signed Manifest commit with key 0x3AFFCE974D34BD8C!)
|
|
|
|
| |
(Portage version: 2.2.15/cvs/Linux i686, signed Manifest commit with key 0x3AFFCE974D34BD8C!)
|
|
|
|
| |
(Portage version: 2.2.15/cvs/Linux i686, signed Manifest commit with key 0x3AFFCE974D34BD8C!)
|
|
|
|
| |
(Portage version: 2.2.15/cvs/Linux i686, signed Manifest commit with key 0x3AFFCE974D34BD8C!)
|
|
|
|
| |
(Portage version: 2.2.15/cvs/Linux i686, signed Manifest commit with key 0x3AFFCE974D34BD8C!)
|
|
|
|
| |
(Portage version: 2.2.15/cvs/Linux i686, signed Manifest commit with key 0x3AFFCE974D34BD8C!)
|