/[gentoo-x86]/sci-mathematics/spass
Gentoo

Index of /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  2 years  gienah  EAPI=5 with subslot depends to automatically rebuild spass when isabelle is upda…
Manifest  1.6  2 years  gienah  EAPI=5 with subslot depends to automatically rebuild spass when isabelle is upda…
metadata.xml  1.3  2 years  jlec  sci-mathematics/spass: Respect CFLAGS, #430676; add missing USE=examples (Porta…
spass-3.7.ebuild  1.5  2 years  gienah  EAPI=5 with subslot depends to automatically rebuild spass when isabelle is upda…

Sticky Tag:

  ViewVC Help
Powered by ViewVC 1.1.20