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