- Name: drgeocaml
- Version: cvs20051014
- Release: 5mdv2007.0
- Epoch:
- Group: Sciences/Mathematics
- License: GPL
- Url: http://home.gna.org/geocaml/
- Summary: Dynamic geometry software
- Architecture: i586
- Size: 645923
- Distribution: Mandriva Linux
- Vendor: Mandriva
- Packager: Guillaume Rousse <guillomovitch@mandriva.org>
Description:
DrGeoCaml is a dynamic geometry software.
This program is an interactive geometry software similar to Cabri
Geometre,GeoPlan, Kig...
It contains automatic theorem proving features.
Interactive theorem proving is planned.
- BuildArch:
- ExcludeArch:
- ExclusiveArch:
- Cookie: n2.mandriva.com 1156863862
- Buildhost: n2.mandriva.com
Generated packages:
- drgeocaml-cvs20051014-5mdv2007.0.i586
- drgeocaml-cvs20051014-5mdv2007.0.x86_64
- drgeocaml-debug-cvs20051014-5mdv2007.0.i586
- drgeocaml-debug-cvs20051014-5mdv2007.0.x86_64
Other version of this rpm: