This old version of smail has been moved into OLD/ directory
in smail's mirror. Update path on mastersites.
PR: ports/95232
Submitted by: Jean-Francois BOEUF <jfb@minet.net>
Use MASTER_SITES_SOURCEFORGE as MASTER_SITES and fix fetching. [1]
Maintainer probably knows this port is outdated by 3 new versions.
Reported by: fenner's distfiles survey [1]
PR: ports/94871
Submitted by: Ion-Mihai "IOnut" Tetcu <itetcu@people.tecnik93.com>
Approved by: Denis Shaposhnikov <dsh@vlink.ru>
Provide the distfile on my server and fix fetch, thus
unbreak. The maintainer should note I won't keep it there
forever.
Drop WWW [1] and portlint while here.
Reported by: fenner's distfiles survey [1]
PR: ports/94358
Submitted by: Ion-Mihai "IOnut" Tetcu <itetcu@people.tecnik93.com>
Approved by: maintainer timeout
- Upgrade to latest version (make fetchable again)
- Add WWW line and more supported phones to pkg-descr
- Single PLIST file addition
- Replace rc.d script with new rc.subr-style
- Install in more appropriate place
- Take maintainership
PR: ports/94243
Submitted by: Shaun Amott <shaun@inerd.com>
- Replace master site and WWW URL
- The new distfile is a .tar file (despite the name) - the contents
are identical to what was in the original file. Therefore, distinfo
needs patching too.
(checked tarball differences myself)
PR: ports/94229
Submitted by: Shaun Amott <shaun@inerd.com>
This patch adds the MASTER_SITE_IDSOFTWARE list of mirrors to bsd.sites.mk and adds it to the following ports:
games/doom
games/linux-quake3
games/linux-quake4
games/qcc
games/quake-data
games/quake-source
games/quake2-data
games/quake2-source
games/quake2forge
games/quake2lnx
games/quake3
games/quake3-data
games/rtcw
PR: ports/93546
Submitted by: Alejandro Pulver <alejandro@varnet.biz>
- Remove dead mirror, mirror distfile on my server.
- tidy up Makefile
- Add pkg-message from ${CAT} in Makefile
PR: ports/95376
Submitted by: Lars Engels <lars.engels@0x20.net>
- Remove dead mirror, add some working mirrors
- Add 2>&1 >/dev/null || true to @unexec rm ... in pkg-plist
PR: ports/95377
Submitted by: Lars Engels <lars.engels@0x20.net>
- Remove dead mirror and mirror distfile on my server
- Remove WWW from pkg-desc a the project seems to be dead
PR: ports/95383
Submitted by: Lars Engels <lars.engels@0x20.net>
Maude is a high-performance reflective language and system supporting both
equational and rewriting logic specification and programming for a wide range
of applications. Maude has been influenced in important ways by the OBJ3
language, which can be regarded as an equational logic sublanguage. Besides
supporting equational specification and programming, Maude also supports
rewriting logic computation.
Rewriting logic is a logic of concurrent change that can naturally deal with
state and with concurrent computations. It has good properties as a general
semantic framework for giving executable semantics to a wide range of
languages and models of concurrency. In particular, it supports very well
concurrent object-oriented computation. The same reasons making rewriting
logic a good semantic framework make it also a good logical framework, that
is, a metalogic in which many other logics can be naturally represented and
executed.
Maude supports in a systematic and efficient way logical reflection. This
makes Maude remarkably extensible and powerful, supports an extensible algebra
of module composition operations, and allows many advanced metaprogramming and
metalanguage applications. Indeed, some of the most interesting applications
of Maude are metalanguage applications, in which Maude is used to create
executable environments for different logics, theorem provers, languages, and
models of computation.
WWW: http://maude.cs.uiuc.edu/
PR: ports/94986
Submitted by: Rick van der Zwet <rick@traffie.wzoeterwoude.net>
OPAL is the "next generation" of OpenH323 that has a new
architecture. The new port is based on net/openh323 (same
author, port Makefiles very similar), so could you please:
1) make a repocopy from openh323 to opal
2) apply the patch in opal, note that old patch files are
removed, and a new patch file is provided
PR: ports/95320
Submitted by: Jean-Baptiste Quenot <jbq@caraldi.com>
vtk43 just committed requires outdated expat.5. This will
cause the build to fail if expat.6 is installed. I've been
running caret (an application that depends on vtk43) with
expat.6 for several weeks without any apparent problems.
Suggest updating the vtk43 LIB_DEPENDS to allow expat.5 or
expat.6.
PR: ports/95353
Submitted by: Jason Bacon <bacon@smithers.neuro.mcw.edu>
* a --full-help option is generated that shows also hidden options
* multiple parsers can be linked into the same executable (even
when using configuration files, thanks to Andre Noll)
* when invoking getopt_long, discard any pointers to previously
scanned command lines (thanks to Andre Noll)
* fixed a bug in generation of help strings that might cause
a seg fault (reported by Paul Biggar)
PR: ports/95329
Submitted by: maintainer
This is based upon work from kwm and includes patches for vfakeio to make
it work with recent pwlib and openh323 versions from Joerg Pulz.
You need a recent pwlib and openh323 port for this.
Temporary aquire maintainership (ekiga is around the corner).
Thanks to: kwm, Joerg Pulz <Joerg.Pulz@frm2.tum.de>
Approved by: maintainer timeout (>3 months)
- Substitute deprecated USE_RCORDER with USE_RC_SUBR
- Add some dependency that are necessary according to the documentation
PR: ports/95349
Submitted by: maintainer
