1 |
-----BEGIN PGP SIGNED MESSAGE----- |
2 |
Hash: SHA1 |
3 |
|
4 |
Hi, |
5 |
I just commited an ebuild for Coq (a theorem prover written in caml), and i |
6 |
set his herds to sci and ml, as well as myself as maintainer, as I discussed |
7 |
with george. It uses a local use flag 'norealanalysis' that makes the Coq |
8 |
compilation time shorter while dropping some theories off of the standard |
9 |
lib. |
10 |
|
11 |
- -- |
12 |
A debugged program is one for which you have not yet found the conditions |
13 |
that make it fail. |
14 |
-- Jerry Ogdin |
15 |
-----BEGIN PGP SIGNATURE----- |
16 |
Version: GnuPG v1.2.3 (GNU/Linux) |
17 |
|
18 |
iD8DBQFADwybLp2DOi1vGpoRAvyLAJ9wryHkH+IQrFE08NH/1NYqkcX6OQCgoljO |
19 |
TdXZ5HjyeN1lnn/co+9OOaA= |
20 |
=1ij6 |
21 |
-----END PGP SIGNATURE----- |
22 |
|
23 |
|
24 |
-- |
25 |
gentoo-dev@g.o mailing list |