Gentoo Portage Overlays - sci-mathematics/jessie2

Newest News Repository news GLSAs Browse USE Flags Overlays More...

sci-mathematics/jessie2

Software verification platform

Screenshots

http://forge.ispras.ru/projects/astraver

jessie2-0_alpha2_p6

amd64 x86

+ocamlopt

View

Download

Browse License: GPL-2

Overlay: buzden (layman)

ChangeLog USE Flags Dependencies Reverse Deps Related Bugs