| Commit message (Collapse) | Author | Age | Files | Lines |
|
|
|
| |
Package-Manager: portage-2.1.11.50/cvs/Linux x86_64
|
|
|
|
|
| |
Package-Manager: portage-2.2.0_alpha162/cvs/Linux x86_64
Manifest-Sign-Key: 0xE73C35B3
|
|
|
|
|
| |
Package-Manager: portage-2.2.0_alpha162/cvs/Linux x86_64
Manifest-Sign-Key: 0xE73C35B3
|
|
|
|
|
| |
Package-Manager: portage-2.2.0_alpha162/cvs/Linux x86_64
Manifest-Sign-Key: 0xE73C35B3
|
|
|
|
|
| |
Package-Manager: portage-2.1.11.52/cvs/Linux x86_64
Manifest-Sign-Key: 0x89DEB219565C32BC
|
|
|
|
|
| |
Package-Manager: portage-2.1.11.52/cvs/Linux x86_64
Manifest-Sign-Key: 0x7194459F
|
|
|
|
|
| |
Package-Manager: portage-2.1.11.52/cvs/Linux x86_64
Manifest-Sign-Key: 0x7194459F
|
|
|
|
|
|
|
| |
wasn't there (bug #457500). Simplified depedencies
Package-Manager: portage-2.2.01.21688-prefix/cvs/Linux x86_64
Manifest-Sign-Key: 0x13CB1360
|
|
|
|
|
| |
Package-Manager: portage-2.2.0_alpha162/cvs/Linux x86_64
Manifest-Sign-Key: 0xA792A613
|
|
|
|
|
| |
Package-Manager: portage-2.2.01.21688-prefix/cvs/Linux x86_64
Manifest-Sign-Key: 0x13CB1360
|
|
|
|
|
| |
Package-Manager: portage-2.2.0_alpha161/cvs/Linux x86_64
Manifest-Sign-Key: 0x70EB7916
|
|
|
|
| |
Package-Manager: portage-2.1.11.31/cvs/Linux x86_64
|
|
|
|
| |
Package-Manager: portage-2.1.11.31/cvs/Linux x86_64
|
|
|
|
|
|
|
| |
Selection - by removing an overloaded method to allow the dumb javac to compile it.
Package-Manager: portage-2.1.11.50/cvs/Linux x86_64
Manifest-Sign-Key: 0x618E971F
|
|
|
|
| |
Package-Manager: portage-2.2.0_alpha161/cvs/Linux x86_64
|
|
|
|
| |
Package-Manager: portage-2.1.11.31/cvs/Linux x86_64
|
|
|
|
| |
Package-Manager: portage-2.2.0_alpha159/cvs/Linux x86_64
|
|
|
|
|
| |
Package-Manager: portage-2.2.0_alpha154/cvs/Linux x86_64
Manifest-Sign-Key: 0x1CD13C8AD4301342
|
|
|
|
|
| |
Package-Manager: portage-2.1.11.41/cvs/Linux x86_64
Manifest-Sign-Key: 0x89DEB219565C32BC
|
|
|
|
|
| |
Package-Manager: portage-2.2.0_alpha153/cvs/Linux x86_64
Manifest-Sign-Key: 0x160F534A
|
|
|
|
|
| |
Package-Manager: portage-2.2.01.21580-prefix/cvs/Linux x86_64
Manifest-Sign-Key: 0x13CB1360
|
|
|
|
| |
Package-Manager: portage-2.2.0_alpha151/cvs/Linux x86_64
|
|
|
|
| |
Package-Manager: portage-2.2.0_alpha151/cvs/Linux x86_64
|
|
|
|
|
| |
Package-Manager: portage-2.2.01.21476-prefix/cvs/Linux x86_64
Manifest-Sign-Key: 0x13CB1360
|
|
|
|
|
| |
Package-Manager: portage-2.2.01.21476-prefix/cvs/Linux x86_64
Manifest-Sign-Key: 0x13CB1360
|
|
|
|
|
|
|
| |
--preserve-timestamps
Package-Manager: portage-2.1.11.38/cvs/Linux x86_64
Manifest-Sign-Key: 0x618E971F
|
|
|
|
|
| |
Package-Manager: portage-2.1.11.38/cvs/Linux x86_64
Manifest-Sign-Key: 0x89DEB219565C32BC
|
|
|
|
|
|
|
| |
so that patch is not applied to coq-8.4_p1.
Package-Manager: portage-2.1.11.38/cvs/Linux x86_64
Manifest-Sign-Key: 0x618E971F
|
|
|
|
| |
Package-Manager: portage-2.2.0_alpha149/cvs/Linux x86_64
|
|
|
|
| |
Package-Manager: portage-2.2.0_alpha149/cvs/Linux x86_64
|
|
|
|
| |
Package-Manager: portage-2.2.0_alpha149/cvs/Linux x86_64
|
|
|
|
| |
Package-Manager: portage-2.2.0_alpha149/cvs/Linux x86_64
|
|
|
|
| |
Package-Manager: portage-2.2.0_alpha149/cvs/Linux x86_64
|
|
|
|
| |
Package-Manager: portage-2.2.0_alpha149/cvs/Linux x86_64
|
|
|
|
|
| |
Package-Manager: portage-2.2.0_alpha149/cvs/Linux x86_64
Manifest-Sign-Key: 0xA792A613
|
|
|
|
| |
Package-Manager: portage-2.2.0_alpha149/cvs/Linux i686
|
|
|
|
| |
Package-Manager: portage-2.2.0_alpha143/cvs/Linux x86_64
|
|
|
|
| |
Package-Manager: portage-2.2.0_alpha143/cvs/Linux x86_64
|
|
|
|
|
| |
Package-Manager: portage-2.1.11.31/cvs/Linux i686
Manifest-Sign-Key: 0x30427902
|
|
|
|
|
| |
Package-Manager: portage-2.1.11.38/cvs/Linux x86_64
Manifest-Sign-Key: 0x89DEB219565C32BC
|
|
|
|
|
| |
Package-Manager: portage-2.1.11.38/cvs/Linux x86_64
Manifest-Sign-Key: 0x618E971F
|
| |
|
|
|
|
| |
Package-Manager: portage-2.2.0_alpha149/cvs/Linux i686
|
|
|
|
|
| |
Package-Manager: portage-2.1.11.38/cvs/Linux x86_64
Manifest-Sign-Key: 0x072AD062
|
|
|
|
|
| |
Package-Manager: portage-2.1.11.38/cvs/Linux x86_64
Manifest-Sign-Key: 0x675D0D2C
|
|
|
|
| |
Package-Manager: portage-2.2.0_alpha148/cvs/Linux i686
|
|
|
|
|
| |
Package-Manager: portage-2.1.11.37/cvs/Linux x86_64
Manifest-Sign-Key: 0xE7BE08CA7DC6EA25
|
|
|
|
|
| |
Package-Manager: portage-2.2.01.21418-prefix/cvs/Linux x86_64
Manifest-Sign-Key: 0x13CB1360
|
|
|
|
|
|
|
| |
depends on twelf.
Package-Manager: portage-2.1.11.36/cvs/Linux x86_64
Manifest-Sign-Key: 0x618E971F
|
|
|
|
|
| |
Package-Manager: portage-2.2.01.21418-prefix/cvs/Linux x86_64
Manifest-Sign-Key: 0x13CB1360
|