-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Until further notice, I'll give any member of this august body who
feels confident to do so (and having commit access) /carte blanche/ to
apply any 10.5-specific updates to my packages, as long as they keep
me in the loop about it.
-BEGIN PGP SIGNA
Friends -
The polyml5, isabelle-polyml5, and proofgeneral packages are sitting
on the tracker waiting for something to happen (status is undergoing
validation). I believe it would be a good idea for something to
happen to them.
Peace
- John
Begin forwarded message:
From: John Ridgway
fftw currently uses g95, but for 10.5 we need gfortran. I made some
trivial changes and it appears to work ok. I put it on the package
tracker.
-
This SF.net email is sponsored by: Splunk Inc.
Still grepping through log f
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
William Scott wrote:
> fftw currently uses g95, but for 10.5 we need gfortran. I made
> some trivial changes and it appears to work ok. I put it on the
> package tracker.
>
As an additional tracker-related note (beyond my hiatus) I'm not able
to vali
> -BEGIN PGP SIGNED MESSAGE-
> Hash: SHA1
>
> I'm not going to have time to do any more tracker validation due to an
> upcoming conference presentation that requires my attention.
>
> Anybody who wants to validate packages there, and record your
> findings, is more than welcome. Be sure to
