| 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 |
Archives