| Commit message (Collapse) | Author | Age | Files | Lines |
... | |
|
|
|
| |
(Portage version: 2.2.7/cvs/Linux x86_64, signed Manifest commit with key B9D4F231BD1558AB!)
|
|
|
|
| |
(Portage version: 2.2.7/cvs/Linux x86_64, signed Manifest commit with key B9D4F231BD1558AB!)
|
|
|
|
|
|
| |
haskell modules which are needed by the agda standard library, such as during compilation using the MAlonzo backend. It is available inside the ffi/ directory and needs to be built and installed by the ebuild.
(Portage version: 2.2.7/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
|
|
|
|
|
|
| |
haskell modules which are needed by the agda standard library, such as during compilation using the MAlonzo backend. It is available inside the ffi/ directory and needs to be built and installed by the ebuild.
(Portage version: 2.2.7/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
|
|
|
|
| |
(Portage version: 2.2.7/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
|
|
|
|
| |
(Portage version: 2.2.7/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
|
|
|
|
|
|
| |
https://savannah.gnu.org/bugs/?38746, http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=705485
(Portage version: 2.2.7/cvs/Linux x86_64, signed Manifest commit with key B9D4F231BD1558AB!)
|
|
|
|
|
|
| |
https://savannah.gnu.org/bugs/?38746, http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=705485
(Portage version: 2.2.7/cvs/Linux x86_64, signed Manifest commit with key B9D4F231BD1558AB!)
|
|
|
|
| |
(Portage version: 2.2.7-prefix/cvs/Linux x86_64, signed Manifest commit with key 0x13CB1360)
|
|
|
|
| |
(Portage version: 2.2.7-prefix/cvs/Linux x86_64, signed Manifest commit with key 0x13CB1360)
|
|
|
|
| |
(Portage version: 2.2.7/cvs/Linux x86_64, unsigned Manifest commit)
|
|
|
|
| |
(Portage version: 2.2.7/cvs/Linux x86_64, unsigned Manifest commit)
|
|
|
|
| |
(Portage version: 2.2.1/cvs/Linux i686, signed Manifest commit with key 30427902)
|
|
|
|
| |
(Portage version: 2.2.1/cvs/Linux i686, signed Manifest commit with key 30427902)
|
|
|
|
| |
(Portage version: 2.2.7/cvs/Linux x86_64, signed Manifest commit with key 0x89DEB219565C32BC!)
|
|
|
|
| |
(Portage version: 2.2.7/cvs/Linux x86_64, signed Manifest commit with key 0x89DEB219565C32BC!)
|
|
|
|
| |
(Portage version: 2.2.7-prefix/cvs/Linux x86_64, signed Manifest commit with key 0x13CB1360)
|
|
|
|
| |
(Portage version: 2.2.7-prefix/cvs/Linux x86_64, signed Manifest commit with key 0x13CB1360)
|
|
|
|
| |
(Portage version: 2.2.7/cvs/Linux x86_64, unsigned Manifest commit)
|
|
|
|
| |
(Portage version: 2.2.7/cvs/Linux x86_64, unsigned Manifest commit)
|
|
|
|
| |
(Portage version: 2.2.7-prefix/cvs/Linux x86_64, signed Manifest commit with key 0x13CB1360)
|
|
|
|
| |
(Portage version: 2.2.7-prefix/cvs/Linux x86_64, signed Manifest commit with key 0x13CB1360)
|
|
|
|
| |
(Portage version: 2.2.7/cvs/Linux x86_64, signed Manifest commit with key B9D4F231BD1558AB!)
|
|
|
|
| |
(Portage version: 2.2.7/cvs/Linux x86_64, signed Manifest commit with key B9D4F231BD1558AB!)
|
|
|
|
| |
(Portage version: 2.2.7-prefix/cvs/Linux x86_64, signed Manifest commit with key 0x13CB1360)
|
|
|
|
| |
(Portage version: 2.2.7-prefix/cvs/Linux x86_64, signed Manifest commit with key 0x13CB1360)
|
|
|
|
| |
(Portage version: 2.2.7/cvs/Linux x86_64, signed Manifest commit with key B9D4F231BD1558AB!)
|
|
|
|
| |
(Portage version: 2.2.7/cvs/Linux x86_64, signed Manifest commit with key B9D4F231BD1558AB!)
|
|
|
|
| |
(Portage version: 2.2.7/cvs/Linux x86_64, signed Manifest commit with key B9D4F231BD1558AB!)
|
|
|
|
| |
(Portage version: 2.2.7/cvs/Linux x86_64, signed Manifest commit with key B9D4F231BD1558AB!)
|
|
|
|
|
|
| |
cujyaz@googlemail.com
(Portage version: 2.2.7-prefix/cvs/Linux x86_64, signed Manifest commit with key 0x13CB1360)
|
|
|
|
|
|
| |
cujyaz@googlemail.com
(Portage version: 2.2.7-prefix/cvs/Linux x86_64, signed Manifest commit with key 0x13CB1360)
|
|
|
|
| |
(Portage version: 2.2.7/cvs/Linux x86_64, unsigned Manifest commit)
|
|
|
|
| |
(Portage version: 2.2.7/cvs/Linux x86_64, unsigned Manifest commit)
|
|
|
|
|
|
| |
fixes https://code.google.com/p/agda/issues/detail?id=792. Loosen the alex DEPEND.
(Portage version: 2.2.7/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
|
|
|
|
|
|
| |
fixes https://code.google.com/p/agda/issues/detail?id=792. Loosen the alex DEPEND.
(Portage version: 2.2.7/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
|
|
|
|
|
|
| |
"Armageddon" El Lazkani in bug #487024.
(Portage version: 2.2.0/cvs/Linux x86_64, signed Manifest commit with key 0xB5058F9A)
|
|
|
|
|
|
| |
"Armageddon" El Lazkani in bug #487024.
(Portage version: 2.2.0/cvs/Linux x86_64, signed Manifest commit with key 0xB5058F9A)
|
|
|
|
| |
(Portage version: 2.2.7/cvs/Linux i686, signed Manifest commit with key 0x3AFFCE974D34BD8C!)
|
|
|
|
| |
(Portage version: 2.2.7/cvs/Linux i686, signed Manifest commit with key 0x3AFFCE974D34BD8C!)
|
|
|
|
| |
(Portage version: 2.2.7/cvs/Linux i686, signed Manifest commit with key 0x3AFFCE974D34BD8C!)
|
|
|
|
| |
(Portage version: 2.2.7/cvs/Linux i686, signed Manifest commit with key 0x3AFFCE974D34BD8C!)
|
|
|
|
| |
(Portage version: 2.2.4/cvs/Linux x86_64, signed Manifest commit with key 0x89DEB219565C32BC!)
|
|
|
|
| |
(Portage version: 2.2.4/cvs/Linux x86_64, signed Manifest commit with key 0x89DEB219565C32BC!)
|
|
|
|
| |
(Portage version: 2.2.3/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
|
|
|
|
| |
(Portage version: 2.2.3/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
|
|
|
|
| |
(Portage version: 2.2.3/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
|
|
|
|
| |
(Portage version: 2.2.3/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
|
|
|
|
| |
(Portage version: 2.2.3/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
|
|
|
|
| |
(Portage version: 2.2.3/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
|