- Name: drgeocaml
- Version: cvs20051014
- Release: 5mdv2007.0
- Epoch:
- Group: Sciences/Mathematics
- License: GPL
- Url: http://home.gna.org/geocaml/
- Summary: Dynamic geometry software
- Architecture: x86_64
- Size: 4115960
- Distribution: Mandriva Linux
- Vendor: Mandriva
- Packager: Iurt the rebuild bot <warly@mandriva.com>
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.
- OptFlags: -O2 -g -pipe -Wp,-D_FORTIFY_SOURCE=2 -fexceptions
- Cookie: deborah.mandriva.com 1157113124
- Buildhost: deborah.mandriva.com
Sources packages:
Other version of this rpm: