Документ взят из кэша поисковой машины. Адрес
оригинального документа
: http://mirror.msu.net/pub/gentoo-portage/sci-mathematics/isabelle/isabelle-2015.ebuild
Дата изменения: Tue Feb 16 14:41:53 2016 Дата индексирования: Mon Apr 11 15:48:34 2016 Кодировка: |