| /[gentoo-x86]/sci-mathematics/spass |
Anonymous Access: cvs -d :pserver:anonymous@anoncvs.gentoo.org:/var/cvsroot co gentoo-x86/sci-mathematics/spass
Developer Access: cvs -d :ext:${USER}@cvs.gentoo.org:/var/cvsroot co gentoo-x86/sci-mathematics/spass
More Information: http://anoncvs.gentoo.org/
| Files shown: | 4 |
File
|
Rev. | Age | Author | Last log entry | |
|---|---|---|---|---|---|
 Parent Directory
|
|||||
ChangeLog
|
1.6 | 5 years | gienah | EAPI=5 with subslot depends to automatically rebuild spass when isabelle is upda… | |
|
Manifest
|
1.6 | 5 years | gienah | EAPI=5 with subslot depends to automatically rebuild spass when isabelle is upda… | |
|
metadata.xml
|
1.3 | 5 years | jlec | sci-mathematics/spass: Respect CFLAGS, #430676; add missing USE=examples (Porta… | |
|
spass-3.7.ebuild
|
1.5 | 5 years | gienah | EAPI=5 with subslot depends to automatically rebuild spass when isabelle is upda… | |
| ViewVC Help | |
| Powered by ViewVC 1.1.20 |