Документ взят из кэша поисковой машины. Адрес
оригинального документа
: http://mirror.msu.net/pub/gentoo-portage/sci-mathematics/isabelle/
Дата изменения: Unknown Дата индексирования: Sun Apr 10 10:42:38 2016 Кодировка: |
Name | Last Modified | Size | Type |
---|---|---|---|
Parent Directory/ | - | Directory | |
files/ | 2016-Mar-07 11:06:56 | - | Directory |
ChangeLog | 2016-Mar-06 18:27:56 | 5.2K | application/octet-stream |
ChangeLog-2015 | 2015-Nov-09 07:11:44 | 4.6K | application/octet-stream |
Manifest | 2016-Mar-07 11:06:56 | 6.8K | application/octet-stream |
isabelle-2015.ebuild | 2016-Feb-16 14:41:53 | 10.2K | text/plain |
metadata.xml | 2016-Mar-07 11:06:56 | 1.3K | text/xml |