Ying-Chieh Liao
d15a699539
add cvcl 2.5.1
...
An automatic theorem prover for the SMT problem
PR: 103412
Submitted by: Li-Wen Hsu <lwhsu@lwhsu.org>
2006-09-20 01:42:03 +00:00
Maho Nakata
503234eaca
Update pkg-descr
...
Submitted by: Pedro F. Giffuni
2006-09-19 21:43:45 +00:00
Maho Nakata
0f9ab8dedc
use -DGETRUSAGE
...
Submitted by: Pedro F. Giffuni
2006-09-19 20:46:09 +00:00
Jose Alonso Cardenas Marquez
b9f5999732
- Add OPTIONS to some freepascal ports. Now, we can install the external libs
...
optionally.[1]
- Other tiny modifications
Suggested by: Ales Catona <almindor__at__gmail.com> [1]
Approved by: garga(mentor, implicit)
2006-09-18 18:41:13 +00:00
Stefan Walter
0851ff5721
Mark as BROKEN on amd64 -CURRENT, too.
...
Noticed by: pointyhat/kris
Approved by: maintainer
2006-09-18 16:37:21 +00:00
Tilman Keskinoz
4216611aca
Upgrade to 1.3
2006-09-18 16:15:27 +00:00
Thierry Thomas
5f79d406d1
Upgrade to 0.3.7.
...
Changelog at
<https://sourceforge.net/project/shownotes.php?release_id=448075 >.
2006-09-17 21:11:44 +00:00
Kris Kennaway
33dc8bdfc7
Now builds on sparc64
2006-09-17 20:08:47 +00:00
Maho Nakata
a996c3134b
The name of this port has been changed from UFsparse to SuiteSparse
...
and will be renamed soon.
Update to SuiteSparse version 2.1.1.
2006-09-17 13:42:45 +00:00
Erwin Lansing
c175ac8549
The project no longer exists at CPAN and hasn't for some time. Mark
...
for removal in 2 months.
2006-09-16 09:12:32 +00:00
Thierry Thomas
950f9c3f69
Upgrade to 2.15.
...
Changelog at
<https://sourceforge.net/project/shownotes.php?release_id=447295 >.
2006-09-14 20:34:33 +00:00
Sergey Skvortsov
fa8c169b1e
Update to 0.69
2006-09-14 11:25:00 +00:00
Dirk Meyer
59ccda5113
cleanup pkg-plist after gnustep-make
2006-09-13 05:00:56 +00:00
Michael Nottebrock
431622844f
KDE 3.5.4 / KOffice 1.5.2
2006-09-12 23:26:52 +00:00
Jean Milanez Melo
4ec80ac0d0
- Fix mastersite.
...
- Update to 0.99.
PR: ports/102969
Submitted by: Marcus von Appen <mva@sysfault.org>
2006-09-12 13:02:42 +00:00
Pav Lucistnik
fec0752630
- Mark BROKEN on FreeBSD 4.X: does not compile
...
Reported by: krismail
2006-09-12 08:21:39 +00:00
Ion-Mihai Tetcu
271c82dfa6
- Update qtiplot from 0.8.6.2 to 0.8.7.2.
...
- Added support for evaluating mathematical expressions and executing scripts
using the Python.
- Added translation for French, German, Russian, Spanish, Swedish.
PR: ports/103050
Submitted by: Max Brazhnikov (maintainer)
2006-09-10 08:05:25 +00:00
Ion-Mihai Tetcu
d3aa77360d
The QtiPlot Handbook.
...
Author: Roger Gadiou
WWW: http://soft.proindependent.com/qtiplot.html
PR: ports/103049
Submitted by: Max Brazhnikov <makc at issp.ac.ru>
2006-09-10 08:04:15 +00:00
Rong-En Fan
3a7cf035c9
- Update to 1.13
...
PR: ports/102982
Submitted by: Nicola Vitale <nivit at email.it> (maintainer)
2006-09-08 12:20:03 +00:00
Jose Alonso Cardenas Marquez
9bb2aedd50
- New port: math/fpc-fftw
...
Free Pascal interface to the FFTW3 library
Approved by: garga (mentor,implicit)
2006-09-07 20:59:16 +00:00
Dirk Meyer
5f18e6915d
Stepulator is a scientific calculator implementing the RPN notation.
...
It is developed in Objective-C and is currently being maintained on GNUstep
and Mac OS X (Cocoa).
PR: 102684
Submitted by: Gürkan Sengün
2006-09-07 17:18:40 +00:00
Dirk Meyer
67ed184d8e
EdenMath is a scientific calculator. It does standard arithmetic,
...
probability, and trigonometric functions.
PR: 102682
Submitted by: Gürkan Sengün
2006-09-07 17:15:58 +00:00
Sergey Skvortsov
8884117fbb
Fix plist.
...
Pointed by: pointyhat (kris)
2006-09-07 16:42:25 +00:00
Emanuel Haupt
a19ee7dd94
Update to 12.6.3
2006-09-07 16:20:22 +00:00
Volker Stolz
22e96d4884
Fix typos wrt. Makefile variables like $FOO}
...
PR: ports/102833
Submitted by: Dmitry Marakasov
2006-09-07 10:31:54 +00:00
Mark Linimon
c08034c3ba
Reset inactive maintainer who has not responded to email.
...
Hat: portmgr
2006-09-06 01:56:59 +00:00
Sergey Skvortsov
a01350363e
Update to 0.68
...
Changes: http://search.cpan.org/src/GROMMEL/Math-Random-0.68/Changes
2006-09-05 17:06:43 +00:00
Simon Barner
3bc7cc7a7a
- Update to 0.8.6.2
...
- Remove dependence on qwt4 - now qtiplot statically linked to qwt5
(shipped with port).
- Add dependence on liborigin.
Submitted by: Max Brazhnikov <makc@issp.ac.ru> (maintainer)
PR: ports/102816
2006-09-05 07:25:59 +00:00
Simon Barner
2166e02c50
- Install missing header
...
- Respect CXX and CXXFLAGS
- Bump port revision
Submitted by: Max Brazhnikov <makc@issp.ac.ru> (maintainer)
PR: ports/102814
2006-09-05 07:23:02 +00:00
Mark Linimon
3ccbc4b6f5
Reset inactive maintainer who has not responded to email.
...
Hat: portmgr
2006-09-05 04:43:13 +00:00
Jeremy Messenger
7bb47ba38f
Add locale stuff in plist that aren't in mtree/BSD.x11-4.dist.
...
PR: ports/101495
Submitted by: Stanislav Sedov <ssedov@mbsd.msk.ru>
2006-09-04 22:56:55 +00:00
Mark Linimon
f7b278275b
Reset inactive maintainer who has not responded to email.
...
Hat: portmgr
2006-09-04 07:26:23 +00:00
Maho Nakata
e50286f9a3
Fix pkg-plist
...
Submitted by: kris
2006-09-03 21:06:11 +00:00
Maho Nakata
78bfeb3111
Add developer version of math/octave as math/octave-devel
...
https://www.cae.wisc.edu/pipermail/octave-maintainers/2006-August/000500.html
2006-09-03 20:48:38 +00:00
Kris Kennaway
b50253f5f2
RESTRICTED is intended here instead of NO_PACKAGE
2006-09-03 17:36:56 +00:00
Rong-En Fan
e407c6b53a
- Update to 2.3.1
...
PR: ports/102432
Submitted by: Vittorio De Martino <vdemart1 at tin.it>
Approved by: Eric van Gyzen <eric+fbports at vangyzen.net> (maintainer)
2006-09-03 16:03:30 +00:00
Rong-En Fan
2ee6f0cf8e
- Update to 2.3.1
...
PR: ports/102434
Submitted by: Vittorio De Martino <vdemart1 at tin.it>
Approved by: Eric van Gyzen <eric+fbports at vangyzen.net> (maintainer)
2006-09-03 16:01:36 +00:00
Andrew Pantyukhin
deaf2e8928
Fix master sites:
...
- Add 'ftp://' where it was omitted
- Fix a typo
2006-09-03 14:46:16 +00:00
Rong-En Fan
922dda77ee
- Update to 0.7.0
...
- Remove author email from pkg-descr
PR: ports/102778
Submitted by: Nicola Vitale <nivit at email.it> (maintainer)
2006-09-03 00:10:21 +00:00
Maho Nakata
654ec117b1
CONFLICTS with umfpack
...
Submitted by: Pedro F. Giffuni
2006-09-02 22:51:37 +00:00
Thierry Thomas
51fcea4b0a
Upgrade to PETSc 2.3.2.
...
There are no major interface changes, the minor changes are listed at
<http://www-unix.mcs.anl.gov/petsc/petsc-as/documentation/changes/232.html >
2006-09-02 21:59:18 +00:00
Kris Kennaway
15b247f443
Schedule these broken ports for termination on 2006-12-01
2006-09-02 16:51:10 +00:00
Maho Nakata
15e0b7be97
* Install more header files.
...
* get rid of parts that link against libcompat
* bump PORTREVISION
2006-09-02 12:12:44 +00:00
Maho Nakata
b8e45778d7
Add shared lib number
2006-09-02 10:18:16 +00:00
Maho Nakata
1f464374d8
update to version 5.5
2006-09-02 10:03:52 +00:00
Maho Nakata
2fc37958ab
Make use of DIST_SUBDIR since author uses the filename
...
UFsparse.tar.gz regardless of actual versions; 2.0.0beta,
2.0 and 2.1 to prepare to avoid conflicts for updating to 2.1.
2006-09-02 06:58:02 +00:00
Martin Wilke
ee0b165a5b
- Update to 0.91
...
PR: ports/102754
Submitted by: Andy Fawcett <andy(at)athame.co.uk> (maintainer)
2006-09-01 20:24:47 +00:00
Pav Lucistnik
ecf737426d
The fundamental package needed for scientific computing with Python is
...
called NumPy. This package contains:
* a powerful N-dimensional array object
* sophisticated (broadcasting) functions
* basic linear algebra functions
* basic Fourier transforms
* sophisticated random number capabilities
* tools for integrating Fortran code.
NumPy derives from the old Numeric code base and can be used as a
replacement for Numeric. It also adds the features introduced by numarray
and can also be used to replace numarray.
Note: Development for Numeric has ceased, and users should transisition to
NumPy as quickly as possible.
WWW: http://numpy.scipy.org/
PR: ports/102458
Submitted by: Tony Maher <anthony.maher@uts.edu.au>
2006-09-01 18:14:17 +00:00
Pav Lucistnik
8f0aefc201
liborigin and opj2dat - library and tool for reading
...
OriginLab OPJ project files
Usage :
$ ./opj2dat <project.opj>
FEATURES :
* reads any worksheets with all columns
* supports 4.1, 5.0, 6.0, 6.1, 7.0, 7.5 projects
WWW: http://sourceforge.net/projects/liborigin/
PR: ports/102619
Submitted by: Max Brazhnikov <makc@issp.ac.ru>
2006-08-31 18:50:03 +00:00
Stefan Walter
73d9f8c3b7
Add readline as dependency when it was already installed. The program will be
...
linked against it anyway, not against a system one.
PR: 101442
Submitted by: Stanislav Sedov <ssedov@mbsd.msk.ru>
Approved by: maintainer
2006-08-28 18:43:22 +00:00