cpet/freebsd-ports
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
253ba3b3b5
freebsd-ports/math
History
Pav Lucistnik 253ba3b3b5 Add coq, a formal proof management system: a proof done with Coq is 
mechanically checked by the machine.

In particular, Coq allows:
* the definition of functions or predicates,
* to state mathematical theorems and software specifications,
* to develop interactively formal proofs of these theorems,
* to check these proofs by a small certification "kernel".

PR:		ports/72718
Submitted by:	Rene Ladan <r.c.ladan@student.tue.nl>
2004-10-16 00:55:32 +00:00
..
abs SIZEify (maintainer timeout) 2004-03-31 03:12:58 +00:00
add - Update to version 20021229 2004-03-07 16:42:31 +00:00
algae SIZEify (maintainer timeout) 2004-03-31 03:12:58 +00:00
apc SIZEify (maintainer timeout) 2004-03-31 03:12:58 +00:00
arpack - tar -> ${TAR} (since we have now a bsdtar ;) 2004-04-07 13:26:20 +00:00
arpack++
asir2000 Sync with new bsd.autotools.mk 2004-06-04 17:29:38 +00:00
atlas Increase USE_GCC to 3.4 for those ports which compile with it. 2004-09-30 05:32:00 +00:00
atlas-devel Increase USE_GCC to 3.4 for those ports which compile with it. 2004-09-30 05:32:00 +00:00
bamg
biggles
bihar
blacs Make portlint happy by replacing space to tab 2004-05-06 19:49:54 +00:00
blas
blitz++ Don't create bogus doc directory 2004-05-31 09:02:54 +00:00
calc Add size data. 2004-03-18 02:27:55 +00:00
calcoo Add size data, approved by maintainers. 2004-03-18 20:59:15 +00:00
calctool
ccmath
clarence update to 0.4.4 2004-08-15 08:16:43 +00:00
cln Increase USE_GCC to 3.4 for those ports which compile with it. 2004-09-30 05:32:00 +00:00
concorde SIZEify (maintainer timeout) 2004-03-31 03:12:58 +00:00
convertall Add convertall, a unit converter that can combine the units any way you want. 2004-08-29 17:35:23 +00:00
coq Add coq, a formal proof management system: a proof done with Coq is 2004-10-16 00:55:32 +00:00
cxsc BROKEN on 5.x: Does not compile with gcc 3.4.2 2004-08-16 02:33:05 +00:00
dcdflib
diehard SIZEify (maintainer timeout) 2004-03-31 03:12:58 +00:00
dislin Update to 8.2. 2004-02-17 12:58:26 +00:00
djbfft Fix typo: LOCALBASE -> PREFIX; when installing 2004-04-14 22:39:23 +00:00
drgeo Update to version 0.9.14 2004-09-03 08:21:26 +00:00
eispack SIZEify. 2004-03-17 18:29:46 +00:00
emc2
entropy Update to 2.0. 2004-08-06 18:21:40 +00:00
eukleides - Update to version 1.0.0 2004-05-17 18:40:46 +00:00
eval lha is an EXTRACT_DEPENDS, not BUILD_DEPENDS 2004-04-05 22:15:37 +00:00
fbm Add missing file 2004-04-13 12:31:21 +00:00
femlab
fftpack
fftw Apply a big libtool patch to allow porters to use the libtool installed by 2004-07-09 17:43:11 +00:00
fftw3 Increase USE_GCC to 3.4 for those ports which compile with it. 2004-09-30 05:32:00 +00:00
freefem
freefem++ - Upgrade to 1.42; 2004-10-11 22:30:39 +00:00
fudgit Trim whitespace. 2004-04-10 16:07:10 +00:00
fung-calc - Fix build with gcc 3.4 [1] 2004-08-13 23:38:44 +00:00
fxt Update to version 2004.10.04 2004-10-12 12:59:39 +00:00
galculator Update to 1.2.3: 2004-05-27 20:11:34 +00:00
gambit BROKEN on 5.x: Does not compile 2004-09-18 17:49:31 +00:00
gap
gcalctool Use the new GConf handling policy, this will be required for GNOME 2.7/2.8 or 2004-07-07 16:23:51 +00:00
gdcalc Add size data, approved by maintainers. 2004-03-18 18:01:13 +00:00
geg Sync with new bsd.autotools.mk 2004-06-04 17:29:38 +00:00
gexpr SIZEify 2004-03-18 06:25:52 +00:00
GiNaC Increase USE_GCC to 3.4 for those ports which compile with it. 2004-09-30 05:32:00 +00:00
glgraph
glove
glpk Update to version 4.4. 2004-05-31 07:28:33 +00:00
gmp Remove CONFLICTS, it's not necessary anymore. 2004-07-10 11:12:28 +00:00
gnumeric Unbreak with GCC 3.4.2. 2004-09-20 20:38:31 +00:00
gnumeric2 Use the correct version of libtool 13 -> 15 to avoid install the *.la files. 2004-07-27 19:01:43 +00:00
gnuplot . Bump PORTREVISION (forgotten in previous commit). 2004-07-13 16:31:01 +00:00
gnuplot+ Fix patch-file. 2004-07-17 01:57:52 +00:00
goblin BROKEN on 5.x: Does not compile 2004-09-18 17:49:31 +00:00
grace Update from 5.1.16 -> 5.1.17 2004-10-14 19:25:32 +00:00
gracetmpl Unbreak with gcc 3.4.2 2004-08-16 16:36:20 +00:00
graphthing BROKEN on 5.x: Configure fails 2004-09-26 01:42:16 +00:00
gretl Update to version 1.2.9 2004-07-30 21:16:03 +00:00
gri
grpn SIZEify (maintainer timeout) 2004-03-31 03:12:58 +00:00
gsl Apply a big libtool patch to allow porters to use the libtool installed by 2004-07-09 17:43:11 +00:00
guppi Fix the build with GCC 3.4.2. 2004-09-06 19:08:13 +00:00
hexcalc
it++ BROKEN on 5.x: Does not compile 2004-09-18 17:49:31 +00:00
itl - Fix optional dependency on unexistant port 2004-07-01 23:41:10 +00:00
jacal Add size info. 2004-03-18 07:57:28 +00:00
jags Fix build with gcc 3.4 2004-09-02 16:18:13 +00:00
jama unzip is a BUILD_DEPENDS since it is used in the install phase. 2004-05-03 00:21:00 +00:00
javanns SIZEify (maintainer timeout) 2004-03-31 03:12:58 +00:00
kaskade BROKEN on 5.x: Does not compile 2004-09-18 18:47:46 +00:00
kcalc Update to KDE 3.3 2004-08-30 19:55:42 +00:00
koctave Apply a big libtool patch to allow porters to use the libtool installed by 2004-07-09 17:43:11 +00:00
kseg Update to 0.401 2004-10-14 08:19:40 +00:00
lambda add perl5 build depend 2004-05-17 01:49:02 +00:00
lapack Add size data. 2004-03-18 02:27:55 +00:00
lapack95 Add New port lapack95 2004-08-29 07:49:57 +00:00
lapack++ In former commit I commented out all the blas options. 2004-07-14 04:57:39 +00:00
libgmp4 Remove CONFLICTS, it's not necessary anymore. 2004-07-10 11:12:28 +00:00
libmath++ Add patches to quiet new warnings and errors from gcc 3.4.2. The patches 2004-08-13 17:39:32 +00:00
libneural Apply a big libtool patch to allow porters to use the libtool installed by 2004-07-09 17:43:11 +00:00
librandlib SIZEify (maintainer timeout) 2004-03-31 03:12:58 +00:00
libranlib SIZEify (maintainer timeout) 2004-03-31 03:12:58 +00:00
libRmath - Update to 1.9.1 2004-06-25 22:02:52 +00:00
linalg Play nice with new GCC, and unbreak the build. 2004-10-08 05:32:57 +00:00
linpack SIZEify. 2004-03-17 18:29:46 +00:00
linux-dislin Update to 8.2. 2004-02-17 12:58:26 +00:00
linux-relview * Add SIZE. [1] 2004-03-27 07:48:38 +00:00
lp_solve er distfile survey, remove obsolete mastersite. It points to the URL 2004-04-13 04:03:46 +00:00
matrix BROKEN on amd64: Shared libraries must be compiled with -fPIC 2004-06-19 09:26:43 +00:00
maxima This port compiles correctly with GCL. 2004-09-28 13:50:31 +00:00
mbasecalc Add mbasecalc, a Programmer's Calculator. 2004-06-16 21:27:26 +00:00
metis
metis4
metis-edf
mpexpr SIZEify (maintainer timeout) 2004-03-31 03:12:58 +00:00
mprime Add net as secondary category since this is a distributed effort 2004-03-04 02:44:49 +00:00
mtl Whoa there, boy, that's a mighty big commit y'all have there... 2004-03-14 06:17:56 +00:00
mtrxmath - Update to version 1.0.2 2004-03-07 16:41:00 +00:00
mupad - Correct dependency on linux-png 2004-07-10 22:02:48 +00:00
naturalmath Add size data. 2004-03-18 02:52:47 +00:00
nauty - Honour CC/CFLAGS 2004-04-01 09:52:13 +00:00
ndiff Deal with the libgmp dependency properly: 2004-06-02 17:18:39 +00:00
netcdf - Add CONFLICTS between math/netcdf and science/hdf, they both install 2004-03-24 18:55:25 +00:00
newmat BROKEN on 5.x: Does not compile with gcc 3.4.2 2004-08-16 02:47:09 +00:00
ngraph Unbreak on -CURRENT(round() -> iround()) 2004-08-15 03:02:32 +00:00
nsc2ke
ntl SIZEify (maintainer timeout) 2004-03-31 03:12:58 +00:00
ocaml-ocamlgraph Upgrade to v0.81. Unbreak on -CURRENT. 2004-08-14 14:55:27 +00:00
octave BROKEN on amd64: Shared libraries must be compiled with -fPIC 2004-06-19 09:26:43 +00:00
octave-devel BROKEN on amd64: Shared libraries must be compiled with -fPIC 2004-06-19 09:26:43 +00:00
octave-forge Fix build 5-STABLE 2004-09-02 01:14:04 +00:00
oleo - Convert to OPTIONS 2004-08-20 23:12:23 +00:00
orpie Add orpie 1.3.1, a fullscreen RPN calculator for the console. 2004-08-09 21:09:53 +00:00
p5-AI-DecisionTree My territory, suggested by ijliao. :p 2004-08-20 02:56:44 +00:00
p5-AI-NeuralNet-BackProp
p5-AI-NeuralNet-Mesh
p5-AI-Perceptron
p5-Bit-ShiftReg
p5-Bit-Vector SIZEify (maintainer timeout) 2004-03-31 03:12:58 +00:00
p5-Bit-Vector-Minimal Update to 1.1 2004-10-12 14:38:12 +00:00
p5-Chart-Math-Axis SIZEify (maintainer timeout) 2004-03-31 03:12:58 +00:00
p5-Date-Handler SIZEify (maintainer timeout) 2004-03-31 03:12:58 +00:00
p5-Geo-Distance - Unbreak package building. 2004-07-12 13:38:55 +00:00
p5-Graph Update to 0.20105 2004-07-02 07:37:28 +00:00
p5-Math-Base85 SIZEify (maintainer timeout) 2004-03-31 03:12:58 +00:00
p5-Math-BaseCalc SIZEify (maintainer timeout) 2004-03-31 03:12:58 +00:00
p5-Math-Bezier
p5-Math-BigInt Update to 1.72. 2004-10-13 11:02:39 +00:00
p5-Math-BigIntFast
p5-Math-Calc-Units SIZEify (maintainer timeout) 2004-03-31 03:12:58 +00:00
p5-Math-Currency have it work with all perls, fix plist 2004-02-25 12:06:25 +00:00
p5-Math-Expr Drop maintainership 2004-06-24 14:28:12 +00:00
p5-Math-FFT Drop maintainership 2004-06-24 14:28:12 +00:00
p5-Math-FixedPrecision add the right dependency so that it builds with all perls 2004-02-25 11:38:28 +00:00
p5-Math-GMP
p5-Math-GSL Chase libgsl-update 2004-07-07 08:22:50 +00:00
p5-Math-Interpolate Drop maintainership 2004-06-24 14:28:12 +00:00
p5-Math-LinearCombination SIZEify (maintainer timeout) 2004-03-31 03:12:58 +00:00
p5-Math-Logic Drop maintainership 2004-06-24 14:28:12 +00:00
p5-Math-Pari SIZEify (maintainer timeout) 2004-03-31 03:12:58 +00:00
p5-Math-Random SIZEify (maintainer timeout) 2004-03-31 03:12:58 +00:00
p5-Math-Random-MT Updated to 1.04 2004-10-12 12:21:58 +00:00
p5-Math-Round Add missing dirrm's 2004-04-14 19:28:45 +00:00
p5-Math-SimpleVariable SIZEify (maintainer timeout) 2004-03-31 03:12:58 +00:00
p5-Math-TrulyRandom SIZEify (maintainer timeout) 2004-03-31 03:12:58 +00:00
p5-MatrixReal SIZEify (maintainer timeout) 2004-03-31 03:12:58 +00:00
p5-NetCDF
p5-Number-Compare SIZEify (maintainer timeout) 2004-03-31 03:12:58 +00:00
p5-Roman SIZEify (maintainer timeout) 2004-03-31 03:12:58 +00:00
p5-Set-IntSpan Add size data. 2004-03-18 02:27:55 +00:00
p5-Set-Window SIZEify (maintainer timeout) 2004-03-31 03:12:58 +00:00
p5-Statistics-ChiSquare SIZEify (maintainer timeout) 2004-03-31 03:12:58 +00:00
p5-Statistics-Contingency My territory, suggested by ijliao. :p 2004-08-20 02:56:44 +00:00
p5-Statistics-Descriptive SIZEify (maintainer timeout) 2004-03-31 03:12:58 +00:00
p5-Statistics-Distributions SIZEify (maintainer timeout) 2004-03-31 03:12:58 +00:00
p5-Statistics-LTU SIZEify (maintainer timeout) 2004-03-31 03:12:58 +00:00
p5-Statistics-OLS SIZEify (maintainer timeout) 2004-03-31 03:12:58 +00:00
p5-Statistics-Table-F SIZEify (maintainer timeout) 2004-03-31 03:12:58 +00:00
pari Hack to make pari compile again on 5.3 prior to release 2004-10-04 23:27:44 +00:00
pari-devel BROKEN on 5.x: Does not compile 2004-09-26 02:02:24 +00:00
parmetis SIZEify (maintainer timeout) 2004-03-31 03:12:58 +00:00
PDL Chase plplot shared library version. 2004-08-31 04:39:56 +00:00
php4-bcmath Add a new shared extension for PHP. 2004-07-19 08:17:01 +00:00
php4-gmp Add a new shared extension for PHP. 2004-07-19 08:17:01 +00:00
php5-bcmath Add a new shared extension for PHP. 2004-07-19 09:14:47 +00:00
php5-gmp Add a new shared extension for PHP. 2004-07-19 09:14:47 +00:00
physcalc
ploticus Update to 2.30. 2004-10-12 07:35:57 +00:00
ploticus-nox11
plplot Update to 5.3.1 2004-08-11 11:07:14 +00:00
pspp
py-fpconst - Update MASTER_SITES 2004-05-18 09:23:05 +00:00
py-gato SIZEify (maintainer timeout) 2004-03-31 03:12:58 +00:00
py-gnuplot
py-gsl Chase libgsl-update 2004-07-07 08:22:50 +00:00
py-matplotlib re-add py-matplotlib 0.60.2 2004-08-04 03:33:57 +00:00
py-mpz
py-numarray Update to 0.9. 2004-03-13 05:19:53 +00:00
py-numeric SIZEify (maintainer timeout) 2004-03-31 03:12:58 +00:00
py-numeric17 SIZEify (maintainer timeout) 2004-03-31 03:12:58 +00:00
py-probstat
py-scientific SIZEify (maintainer timeout) 2004-03-31 03:12:58 +00:00
qalculate - Bump USE_GCC to 3.4 to match cln and unbreak 2004-10-12 19:57:06 +00:00
qgfe add qgfe 1.0 2004-08-30 09:56:44 +00:00
qhull Apply a big libtool patch to allow porters to use the libtool installed by 2004-07-09 17:43:11 +00:00
qhull5 Apply a big libtool patch to allow porters to use the libtool installed by 2004-07-09 17:43:11 +00:00
qscanplot Tidy up whitespace. 2004-04-10 17:26:55 +00:00
qwtplot3d typo 2004-08-30 09:48:31 +00:00
qwtplot3d-qt4 typo 2004-08-30 09:48:31 +00:00
R - Update to 2.0.0 2004-10-12 21:02:12 +00:00
randlib SIZEify (maintainer timeout) 2004-03-31 03:12:58 +00:00
rascal Fix build with gcc 3.4 2004-08-16 17:33:26 +00:00
rpc
rpy - Update to 0.3.5 2004-10-15 20:57:23 +00:00
rpy2 - Update to 0.3.5 2004-10-15 20:57:23 +00:00
ruby-algebra Add SIZE data. 2004-03-22 15:05:32 +00:00
ruby-bitset Update to 0.6.2. 2004-04-18 17:18:15 +00:00
ruby-bitvector Add SIZE data. 2004-03-22 15:05:32 +00:00
ruby-fftw3 Add ruby-fftw3, Ruby bindins for fftw3 library. 2004-06-26 23:07:23 +00:00
ruby-gmp BROKEN on amd64: Needs to link against shared library 2004-05-30 07:08:25 +00:00
ruby-gnuplot Add SIZE data. 2004-03-22 15:05:32 +00:00
ruby-gsl Update to 1.5.0. 2004-08-12 09:21:34 +00:00
ruby-math3d Set an expiry date of 2004-08-20 for these BROKEN/IGNORE/FORBIDDEN 2004-06-21 21:27:46 +00:00
ruby-narray Update to 0.5.7p2. 2004-03-15 09:43:34 +00:00
ruby-narray_miss Update to 1.0.3 2004-04-20 09:23:03 +00:00
ruby-netcdf Update to 0.5.5. 2004-09-03 19:37:55 +00:00
ruby-numru_misc Update to 0.0.5 2004-09-02 09:45:01 +00:00
ruby-numru_units Update to 1.2 2004-04-20 09:37:56 +00:00
sc SIZEify (maintainer timeout) 2004-03-31 03:12:58 +00:00
scalapack Make portlint happy by replacing space to tab 2004-05-06 19:49:54 +00:00
scigraphica BROKEN on 5.x: Does not compile 2004-09-26 03:11:57 +00:00
scilab Update to 3.0 2004-08-11 08:09:50 +00:00
sdpa Now confirmed that both static and dynamic ATLAS lib 2004-08-19 01:24:01 +00:00
sdpara MASTER_SITE have been moved. 2004-08-16 01:24:11 +00:00
slsc SIZEify (maintainer timeout) 2004-03-31 03:12:58 +00:00
snns SIZEify (maintainer timeout) 2004-03-31 03:12:58 +00:00
solitaire Add size data. 2004-03-18 02:27:55 +00:00
spar Apply a big libtool patch to allow porters to use the libtool installed by 2004-07-09 17:43:11 +00:00
spooles Make portlint happy by replacing space to tab 2004-05-06 19:49:54 +00:00
spooles-mpich Make portlint happy by replacing space to tab 2004-05-06 19:49:54 +00:00
ss - Fix MASTER_SITES 2004-03-01 11:37:13 +00:00
superlu make replaced the defined command by our ${ARCH}. 2004-09-27 07:31:01 +00:00
superlu_mt make replaced the defined command by our ${ARCH}. 2004-09-27 07:31:01 +00:00
surf
taucs Unbreak on -STABLE. 2004-05-04 13:56:39 +00:00
thx_1138
topaz
tvmet
umatrix
umfpack Upgrade to 4.3. 2004-10-12 05:31:15 +00:00
units Move pkg's files to Makefile, remove pkg-plist. 2004-07-21 14:52:54 +00:00
unixstat - Fix typos (omitted $'s) 2004-10-12 08:14:08 +00:00
vecfem SIZEify (maintainer timeout) 2004-03-31 03:12:58 +00:00
vtk SIZEify (maintainer timeout) 2004-03-31 03:12:58 +00:00
vtk5 SIZEify (maintainer timeout) 2004-03-31 03:12:58 +00:00
vtk43 SIZEify (maintainer timeout) 2004-03-31 03:12:58 +00:00
vtk43-headers
vtk-data SIZEify (maintainer timeout) 2004-03-31 03:12:58 +00:00
vtk-examples
vtk-headers
vtk-java
vtk-python
vtk-tcl
wingz
wingz3
wmcalc SIZEify (maintainer timeout) 2004-03-31 03:12:58 +00:00
xgfe Unfortunately, the recent changes to math/xgfe (PR 59024) broke its 2004-03-30 17:02:58 +00:00
xgobi SIZEify (maintainer timeout) 2004-03-31 03:12:58 +00:00
xgraph SIZEify (maintainer timeout) 2004-03-31 03:12:58 +00:00
xldlas
xlispstat - Update to version 3.5.20 2004-03-07 16:39:57 +00:00
xplot Add missing files and manpages 2004-04-16 02:16:28 +00:00
xspread Per distfile survey, remove Debian as a mastersite. I cannot find any 2004-04-13 04:29:06 +00:00
xwpl
yacas - Fix compilation with GCC 3.4.2. 2004-08-11 20:47:39 +00:00
Makefile Add coq, a formal proof management system: a proof done with Coq is 2004-10-16 00:55:32 +00:00