source: trunk/dports/math

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @11815   15 years blb Port: ent Version: 19981020 Revision: 1 Update port math/ent Install …
(edit) @11801   15 years gwright g++-3.4.3 is now g++-3.4 (new names for executables in gcc34 portfile).
(edit) @11800   15 years gwright g++-3.4.3 is now g++-3.4 (executable names changed in gcc34 portfile).
(edit) @11799   15 years gwright g++-3.4.3 is now g++-3.4 (executables renamed in gcc34 portfile). Bug: …
(edit) @11798   15 years gwright Version bump to 2.1.69 and use new name for gcc/g++/g77 executables. …
(edit) @11593   15 years jkh The disposition of the dlopen() and poll() routines has evolved over 3 …
(edit) @11512   15 years mww update to v12.2b
(edit) @11509   15 years jkh Bump revision.
(edit) @11508   15 years jkh Consolidate this port and the editors/ProofGeneral port (whoops!). …
(edit) @11254   15 years mww update to 12.1d
(edit) @11143   15 years mww update to v12.1c
(edit) @11142   15 years cjr Update pari to 2.2.9
(edit) @10979   15 years gwright Version bump to 2.1.64. Also change the port to depend on the g77 …
(edit) @10929   15 years rshaw Updated gnuplot to release 4.0.0
(edit) @10861   15 years mww update to v12.0
(edit) @10724   15 years michaelm update gsl to 1.6 and addition of test phase, thanks to gwright@od
(edit) @10704   15 years gwright Removed patch file that was no longer required.
(edit) @10689   15 years mww update to v11.7
(edit) @10654   15 years toby gnu units 1.84c
(edit) @10562   15 years mww update to v11.6e
(edit) @10502   15 years toby glpk 4.8
(edit) @10465   15 years mww update to v0.9
(edit) @10390   15 years mww update to v11.6d
(edit) @10251   15 years mww update to v11.6c
(edit) @10142   15 years mww update to v11.6b
(edit) @9922   15 years mww update to v11.6
(edit) @9741   15 years mww update to v11.5d
(edit) @9563   15 years gwright Update maintainer and cleaned up configure.args. Bug: Submitted by: …
(edit) @9559   15 years gwright Updated maintainer field. Bug: Submitted by: Reviewed by: Approved by: …
(edit) @9548   15 years gwright Move the Isabelle2004 directory from ${prefix}/ to ${prefix}/lib.
(edit) @9546   15 years gwright New port: ProofGeneral-3.5. Thanks to Dustin Mulcahey!
(edit) @9545   15 years gwright Dependency update.
(edit) @9544   15 years gwright Builds with g++-3.4.3 now. Removed post-destroot copying of ginsh …
(edit) @9543   15 years gwright Builds with g++-3.4.3 now. Updated master_sites.
(edit) @9540   15 years gwright New port: fftw-single, a single precision version of fftw.
(edit) @9537   15 years gwright Version bump to 1.1.9. Bug: Submitted by: Reviewed by: Approved by: …
(edit) @9507   15 years gwright Use ${homepage} and ${extract.suffix} where appropriate.
(edit) @9505   15 years gwright New Port: Isabelle2004. Thanks to Dustin Mulcahey!
(edit) @9482   15 years mww fix destroot on case sensitiv FS
(edit) @9448   15 years mww Bug: #2431 Submitted by: dhaines@… Reviewed by: …
(edit) @9445   15 years michaelm adding missing homepage to gsl port
(edit) @9440   15 years toby Update to 2.0.1 Bug: 2419 Submitted by: kjell konis
(edit) @9421   15 years jmpp Woops, forgot the long_description! Sorry, wont happen again ;)
(edit) @9420   15 years jmpp Bug: Submitted by: jmpp@ Reviewed by: jmpp@ Approved by: jmpp@ …
(edit) @9400   15 years toby ndiff 2.00, fairly neat diffing program
(edit) @9374   15 years mww update to v11.5b
(edit) @9237   15 years mww update to 11.5
(edit) @9213   15 years mww fix infodir AND inc. revision
(edit) @9212   15 years mww fix infodir
(edit) @9132   15 years toby calc 2.11.10.1
(edit) @9128   15 years mww new port math/e
(edit) @9040   15 years mww -minor version bump
(edit) @8827   15 years gwright Added a note about ":dir :system" style path lookups failing in ACL2. …
(edit) @8826   15 years gwright Do regression testing and book certification after activation. …
(edit) @8824   15 years mww -version bump
(edit) @8805   15 years gwright Version bump to 2.9. Bug: Submitted by: Reviewed by: Approved by: …
(edit) @8767   15 years toby dap 3.2, gnu stats app
(edit) @8698   15 years gwright Fix man/info directories. Bug: Submitted by: Reviewed by: Approved by: …
(edit) @8688   15 years mww -update to v11.4b
(edit) @8680   15 years gwright New port: nestedsums 1.4.5.
(edit) @8679   15 years gwright Added files to support the build with g++3.4.2.
(edit) @8678   15 years gwright Updated to build with g++-3.4.2, needed to support the nestedsums …
(edit) @8677   15 years gwright revised to build using g++-3.4.2 (needed to support the nestedsums …
(edit) @8625   15 years toby R 2.0.0
(edit) @8585   15 years mww new port math/scalc
(edit) @8575   15 years mww update to v11.4
(edit) @8409   15 years mww -minor version bump -fix indent
(edit) @8322   15 years mww update to v11.3e
(edit) @8312   15 years gwright Bumped revision to 1. Thanks to Paul Guyot for reminding me!
(edit) @8308   15 years gwright Fix a character set issue and copy some files that will be used by the …
(edit) @8249   15 years toby up to glpk 4.7
(edit) @8203   15 years toby update to calc 2.11.10 Bug: Submitted by: Reviewed by: Approved by: …
(edit) @8169   15 years olegb Bug: 2183 Submitted by: sleepinghead@… Reviewed …
(edit) @8066   16 years gwright New port: GiNaC 1.2.3.
(edit) @8063   16 years gwright Version bump to 1.1.8 and a patch to fix the linking problem on OS X. …
(edit) @8056   16 years mww -version bump to 1.1.1 -add patch to ignore configure not finding …
(edit) @8031   16 years olegb Bug: 2170 Submitted by: dxiao@… (Di Xiao) …
(edit) @8012   16 years mww minor version update
(edit) @7967   16 years toby glpk 4.6 Bug: Submitted by: Reviewed by: Approved by: Obtained from:
(edit) @7871   16 years mww minor version bump
(edit) @7828   16 years mww minor version bump
(edit) @7718   16 years mww version bump to v11.3
(edit) @7640   16 years jkh Remove info/dir directory from installation to be compatible with images.
(edit) @7626   16 years gwright New Port: Pari-2.1.5. thanks to sleepinghead@…!
(edit) @7604   16 years toby Update to 1.9.1 Bug: 1986 Submitted by: kjell konis (maintainer) …
(edit) @7602   16 years mww minor version bump
(edit) @7589   16 years mww update to version 11.2c
(edit) @7458   16 years mww bump version to 11.2b
(edit) @7356   16 years mww version bump
(edit) @7177   16 years mww new port math/libmatheval create in-memory tree representations of …
(edit) @7064   16 years mww new port math/mathomatic small, portable symbolic math program
(edit) @7051   16 years blb Port: fftw Version: 2.1.5 Revision: 2 Update port math/fftw One more …
(edit) @7043   16 years blb Port: fftw Version: 2.1.5 Revision: 1 Update port math/fftw Take …
(edit) @7002   16 years mww new port math/bcv cmd-line number converter
(edit) @6961   16 years gwright Version bump to 1.1.7. Bug: Submitted by: Reviewed by: Approved by: …
(edit) @6956   16 years mww version bump
(edit) @6865   16 years mww new port math/pdc the Programmers Desktop Calculator (bc-style)
(edit) @6855   16 years matt Bug: 1786 Submitted by: matt@ Reviewed by: matt@ Approved by: Obtained …
(edit) @6735   16 years blb Bug: 1779 Submitted by: kjell.konis a worcester.oxford.ac.uk Port: …
(edit) @6619   16 years gwright Has to link with -lstdc++. It does now. Bug: Submitted by: Reviewed …
Note: See TracRevisionLog for help on using the revision log.