| Commit message (Collapse) | Author | Age | Files | Lines |
|
|
|
|
|
| |
network during install. Thanks to Diego Elio Petteno (flameeyes) for reporting.
(Portage version: 2.1.11.3/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
|
|
|
|
|
|
| |
network during install. Thanks to Diego Elio Petteno (flameeyes) for reporting.
(Portage version: 2.1.11.3/cvs/Linux x86_64)
|
|
|
|
| |
(Portage version: 2.1.10.65/cvs/Linux x86_64, signed Manifest commit with key 7CD2DC5D)
|
|
|
|
| |
(Portage version: 2.1.10.65/cvs/Linux x86_64)
|
|
|
|
| |
(Portage version: 2.1.11.3/cvs/Linux x86_64, signed Manifest commit with key 0x565C32BC)
|
|
|
|
| |
(Portage version: 2.1.11.3/cvs/Linux x86_64)
|
|
|
|
| |
(Portage version: 2.1.11.1/cvs/Linux x86_64, signed Manifest commit with key 0x13CB1360)
|
|
|
|
| |
(Portage version: 2.1.11.1/cvs/Linux x86_64)
|
|
|
|
| |
(Portage version: 2.2.01.20430-prefix/cvs/Linux x86_64, unsigned Manifest commit)
|
|
|
|
| |
(Portage version: 2.2.01.20430-prefix/cvs/Linux x86_64)
|
|
|
|
| |
(Portage version: 2.2.01.20430-prefix/cvs/Linux x86_64, unsigned Manifest commit)
|
|
|
|
| |
(Portage version: 2.2.01.20430-prefix/cvs/Linux x86_64)
|
|
|
|
| |
(Portage version: 2.2.01.20430-prefix/cvs/Linux x86_64, unsigned Manifest commit)
|
|
|
|
| |
(Portage version: 2.2.01.20430-prefix/cvs/Linux x86_64)
|
|
|
|
| |
(Portage version: 2.2.0_alpha112/cvs/Linux x86_64, signed Manifest commit with key D4301342)
|
|
|
|
| |
(Portage version: 2.2.0_alpha112/cvs/Linux x86_64)
|
|
|
|
| |
(Portage version: 2.2.0_alpha110/cvs/Linux x86_64, signed Manifest commit with key 895192F9)
|
|
|
|
| |
(Portage version: 2.2.0_alpha110/cvs/Linux x86_64)
|
|
|
|
| |
(Portage version: 2.2.0_alpha110/cvs/Linux x86_64, signed Manifest commit with key 70EB7916)
|
|
|
|
| |
(Portage version: 2.2.0_alpha110/cvs/Linux x86_64)
|
|
|
|
| |
(Portage version: 2.1.10.65/cvs/Linux x86_64, signed Manifest commit with key 675D0D2C)
|
|
|
|
| |
(Portage version: 2.1.10.65/cvs/Linux x86_64)
|
|
|
|
| |
(Portage version: 2.2.0_alpha110/cvs/Linux i686, unsigned Manifest commit)
|
|
|
|
| |
(Portage version: 2.2.0_alpha110/cvs/Linux i686)
|
|
|
|
| |
(Portage version: 2.2.0_alpha110/cvs/Linux i686, unsigned Manifest commit)
|
|
|
|
| |
(Portage version: 2.2.0_alpha110/cvs/Linux i686)
|
|
|
|
|
|
| |
patches, #421787
(Portage version: 2.2.0_alpha110/cvs/Linux x86_64, signed Manifest commit with key 70EB7916)
|
|
|
|
|
|
| |
patches, #421787
(Portage version: 2.2.0_alpha110/cvs/Linux x86_64)
|
|
|
|
| |
(Portage version: 2.2.0_alpha110/cvs/Linux x86_64, signed Manifest commit with key 4868F14D)
|
|
|
|
| |
(Portage version: 2.2.0_alpha110/cvs/Linux x86_64)
|
|
|
|
| |
(Portage version: 2.2.0_alpha110/cvs/Linux x86_64, signed Manifest commit with key 895192F9)
|
|
|
|
| |
(Portage version: 2.2.0_alpha110/cvs/Linux x86_64)
|
|
|
|
|
|
| |
http://article.gmane.org/gmane.science.mathematics.logic.isabelle.devel/2732 Change "Ignoring redundant equation" warning to an error to avoid proofs being undertaken on the basis of a mistaken definition: http://article.gmane.org/gmane.science.mathematics.logic.isabelle.devel/2780
(Portage version: 2.1.10.65/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
|
|
|
|
|
|
| |
http://article.gmane.org/gmane.science.mathematics.logic.isabelle.devel/2732 Change "Ignoring redundant equation" warning to an error to avoid proofs being undertaken on the basis of a mistaken definition: http://article.gmane.org/gmane.science.mathematics.logic.isabelle.devel/2780
(Portage version: 2.1.10.65/cvs/Linux x86_64)
|
|
|
|
| |
(Portage version: 2.1.10.49/cvs/Linux x86_64, unsigned Manifest commit)
|
|
|
|
| |
(Portage version: 2.1.10.49/cvs/Linux x86_64)
|
|
|
|
| |
(Portage version: 2.2.0_alpha100/cvs/Linux i686, signed Manifest commit with key 1F6F0683)
|
|
|
|
| |
(Portage version: 2.2.0_alpha100/cvs/Linux i686)
|
|
|
|
|
|
| |
for preventing more bugs. Drop hppa (needs hdf5)
(Portage version: 2.1.10.63/cvs/Linux x86_64, signed Manifest commit with key 0x13CB1360)
|
|
|
|
|
|
| |
for preventing more bugs. Drop hppa (needs hdf5)
(Portage version: 2.1.10.63/cvs/Linux x86_64)
|
|
|
|
| |
(Portage version: 2.1.10.49/cvs/Linux x86_64, signed Manifest commit with key 7CD2DC5D)
|
|
|
|
| |
(Portage version: 2.1.10.49/cvs/Linux x86_64)
|
|
|
|
|
|
| |
>=1.9.9 = gtk3), #420559
(Portage version: 2.2.0_alpha110/cvs/Linux x86_64, signed Manifest commit with key 70EB7916)
|
|
|
|
|
|
| |
>=1.9.9 = gtk3), #420559
(Portage version: 2.2.0_alpha110/cvs/Linux x86_64)
|
|
|
|
| |
(Portage version: 2.2.0_alpha110/cvs/Linux i686, unsigned Manifest commit)
|
|
|
|
| |
(Portage version: 2.2.0_alpha110/cvs/Linux i686)
|
|
|
|
| |
(Portage version: 2.1.10.63/cvs/Linux x86_64, signed Manifest commit with key 0x13CB1360)
|
|
|
|
| |
(Portage version: 2.1.10.63/cvs/Linux x86_64)
|
|
|
|
| |
(Portage version: 2.1.10.63/cvs/Linux x86_64, signed Manifest commit with key 0x13CB1360)
|
|
|
|
| |
(Portage version: 2.1.10.63/cvs/Linux x86_64)
|