| Commit message (Collapse) | Author | Age | Files | Lines |
|
|
|
|
|
|
|
| |
PR: ports/90331
Submitted by: maintainer
Notes:
svn path=/head/; revision=151986
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
- Move to ${LOCALBASE}, since it does not depend on X [2]
- Cleanup USE_GNOME
- Remove USE_GCC=3.4+ and change BROKEN to IGNORE on 4.x
[1]:
PR: ports/90331
Submitted by: maintainer
[2]:
Approved by: maintainer
Notes:
svn path=/head/; revision=151985
|
|
|
|
| |
Notes:
svn path=/head/; revision=151928
|
|
|
|
|
|
|
| |
(libgmp)
Notes:
svn path=/head/; revision=151920
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
PLMan, or Propositional LogicMan, is a user-friendly and powerful
propositional logic (sometimes called sentential logic or
propositional calculus) sentence shell/interpreter written
in Java, capable of handling many existing propositional
systems of propositional logic, especially the important
ones.
Author: Takayuki Hoshi <hoshi103@chapman.edu>
WWW: http://plman.sourceforge.net/
PR: ports/90277
Submitted by: Nicola Vitale <nivit@email.it>
Notes:
svn path=/head/; revision=151700
|
|
|
|
|
|
|
|
| |
PR: ports/90726
Submitted by: David Bremner <bremner-dated-1136341985.d77847@pivot.cs.unb.ca>
Notes:
svn path=/head/; revision=151697
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
0.14 December 19 2005
* Small rewordings in POD.
* Added TAOCP Vol 4, Fasc 3 to REFERENCES.
* Added tuples* as alias to variations* to add the nomenclature
in Knuth's, Mathematica, etc. to the interface.
* Code cleanup.
Approved by: tobez
Notes:
svn path=/head/; revision=151642
|
|
|
|
|
|
|
|
| |
PR: ports/90556
Submitted by: Ports Fury
Notes:
svn path=/head/; revision=151473
|
|
|
|
|
|
|
|
|
|
|
| |
- Add SHA256
- Change DIST_SUBDIR
PR: ports/90491
Submitted by: Nicola Vitale <nivit@email.it> (maintainer)
Notes:
svn path=/head/; revision=151443
|
|
|
|
|
|
|
|
| |
PR: ports/90500
Submitted by: Nicola Vitale <nivit@email.it> (maintainer)
Notes:
svn path=/head/; revision=151439
|
|
|
|
|
|
|
|
| |
PR: ports/90425
Submitted by: Nicola Vitale <nivit@email.it> (maintainer)
Notes:
svn path=/head/; revision=151308
|
|
|
|
|
|
|
| |
Noticed by: cluster
Notes:
svn path=/head/; revision=151291
|
|
|
|
| |
Notes:
svn path=/head/; revision=151217
|
|
|
|
|
|
|
|
|
|
|
| |
- Fix MASTER_SITES
PR: 90348
Submitted by: Andreas Fehlner <fehlner@gmx.de> (maintainer)
Approved by: clement (mentor)
Notes:
svn path=/head/; revision=151193
|
|
|
|
|
|
|
|
|
| |
Since I'm there, add some mirrors.
Reminded by: edwin's Ports Version Check.
Notes:
svn path=/head/; revision=151047
|
|
|
|
| |
Notes:
svn path=/head/; revision=151007
|
|
|
|
|
|
|
|
| |
PR: ports/90170
Submitted by: maintainer
Notes:
svn path=/head/; revision=150988
|
|
|
|
| |
Notes:
svn path=/head/; revision=150972
|
|
|
|
|
|
|
|
|
| |
PR: 90213
Submitted by: Nicola Vitale <nivit@email.it> (maintainer)
Notified by: pointyhat via kris
Notes:
svn path=/head/; revision=150920
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
- An old version of the header file dislin.h was used;
- the keyword 'invisible' in List-Widgets was not working
correctly;
- a problem with the routine psmode was fixed.
Reported by: pointyhat via Kris
Explained by: Helmut Michels <michels (at) mps.mpg.de> (Author)
Notes:
svn path=/head/; revision=150875
|
|
|
|
| |
Notes:
svn path=/head/; revision=150753
|
|
|
|
|
|
|
|
|
| |
dependencies of all the other pear ports.
Discussed with: thierry, antonio@php.net
Notes:
svn path=/head/; revision=150745
|
|
|
|
| |
Notes:
svn path=/head/; revision=150675
|
|
|
|
|
|
|
| |
common matrix operations.
Notes:
svn path=/head/; revision=150667
|
|
|
|
| |
Notes:
svn path=/head/; revision=150602
|
|
|
|
| |
Notes:
svn path=/head/; revision=150569
|
|
|
|
| |
Notes:
svn path=/head/; revision=150526
|
|
|
|
|
|
|
|
|
| |
the cluster
Suggested by: kris
Notes:
svn path=/head/; revision=150452
|
|
|
|
| |
Notes:
svn path=/head/; revision=150449
|
|
|
|
| |
Notes:
svn path=/head/; revision=150431
|
|
|
|
| |
Notes:
svn path=/head/; revision=150358
|
|
|
|
|
|
|
|
|
|
|
|
| |
- Add SHA256 checksum
- Use PLIST_FILES instead of pkg-plist
PR: 89863
Submitted by: Wesley Shields <wxs@csh.rit.edu> (maintainer)
Approved by: clement (mentor)
Notes:
svn path=/head/; revision=150266
|
|
|
|
|
|
|
|
|
|
|
| |
- Add SHA256 checksum
PR: 89862
Submitted by: Wesley Shields <wxs@csh.rit.edu> (maintainer)
Approved by: clement (mentor)
Notes:
svn path=/head/; revision=150265
|
|
|
|
|
|
|
|
|
|
| |
- Add SHA256 hash
PR: 89540
Submitted by: Nicola Vitale <nivit@email.it>
Notes:
svn path=/head/; revision=150224
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
Add a new port for LabPlot, a data analysis and visualisation tool
LabPlot is a program for two- and three-dimensional graphical
presentation of data sets and functions. LabPlot allows you to work
with multiple plots which each can have multiple graphs. The graphs
can be produced from data or from functions.
WWW: http://labplot.sf.net
PR: ports/88256
Submitted by: "Kay Lehmann" <kay_lehmann@web.de>
Notes:
svn path=/head/; revision=150102
|
|
|
|
| |
Notes:
svn path=/head/; revision=150094
|
|
|
|
|
|
|
| |
Requested by: Xride via irc.freenode.org/#FreeBSD-GNOME
Notes:
svn path=/head/; revision=150077
|
|
|
|
| |
Notes:
svn path=/head/; revision=149997
|
|
|
|
|
|
|
|
|
|
| |
- Add SHA256 checksum.
PR: ports/89571
Submitted by: maintainer
Notes:
svn path=/head/; revision=149891
|
|
|
|
|
|
|
| |
files on MASTER_SITE_LOCAL until someone upgrades these ports.
Notes:
svn path=/head/; revision=149722
|
|
|
|
| |
Notes:
svn path=/head/; revision=149518
|
|
|
|
| |
Notes:
svn path=/head/; revision=149492
|
|
|
|
| |
Notes:
svn path=/head/; revision=149438
|
|
|
|
| |
Notes:
svn path=/head/; revision=149432
|
|
|
|
| |
Notes:
svn path=/head/; revision=149313
|
|
|
|
| |
Notes:
svn path=/head/; revision=149215
|
|
|
|
| |
Notes:
svn path=/head/; revision=149147
|
|
|
|
|
|
|
|
|
|
|
| |
- Update WWW [1]
- Add SHA 256
PR: ports/89238
Submitted by: Ports Fury
Notes:
svn path=/head/; revision=149131
|
|
|
|
| |
Notes:
svn path=/head/; revision=149107
|
|
|
|
|
|
|
| |
Reported by: krismail
Notes:
svn path=/head/; revision=149106
|