Port details |
- screamer Extension of Common Lisp for nondeterministic programming
- 3.20 lang
=0 3.20Version of this port present on the latest quarterly branch.
- BROKEN: Does not compile (dumps core)
DEPRECATED: Has been broken for more than 6 months This port expired on: 2008-09-19 IGNORE: is marked as broken: Does not compile (dumps core)
- There is no maintainer for this port.
- Any concerns regarding this port should be directed to the FreeBSD Ports mailing list via ports@FreeBSD.org
- Port Added: 2003-01-19 13:12:26
- Last Update: 2008-12-07 20:36:49
- SVN Revision: UNKNOWN
- License: not specified in port
- WWW:
- http://www.cis.upenn.edu/~screamer-tools/
- Description:
- Screamer is an extension of Common Lisp that adds support for
nondeterministic programming. Screamer consists of two levels. The
basic nondeterministic level adds support for backtracking and
undoable side effects. On top of this nondeterministic substrate,
Screamer provides a comprehensive constraint programming language in
which one can formulate and solve mixed systems of numeric and
symbolic constraints.
WWW: http://www.cis.upenn.edu/~screamer-tools/
Built to run with CMU Common Lisp.
Installed in CMUCL's subsystem directory.
/usr/local/share/screamer contains lisp source and documentation.
- Scott Flatman <sf@slappy.org>
-
cgit ¦ GitHub ¦ GitHub ¦ GitLab ¦
- Manual pages:
- FreshPorts has no man page information for this port.
- pkg-plist: as obtained via:
make generate-plist - There is no configure plist information for this port.
- Dependency lines:
-
- No installation instructions:
- This port has been deleted.
- PKGNAME: screamer
- Flavors: there is no flavor information for this port.
- distinfo:
- There is no distinfo for this port.
No package information for this port in our database- Sometimes this happens. Not all ports have packages.
- Dependencies
- NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
- Build dependencies:
-
- lisp : lang/cmucl
- Runtime dependencies:
-
- lisp : lang/cmucl
- There are no ports dependent upon this port
Configuration Options:
- No options to configure
- Options name:
- N/A
- FreshPorts was unable to extract/find any pkg message
- Master Sites:
|
Number of commits found: 12
Commit History - (may be incomplete: for full details, see links to repositories near top of page) |
Commit | Credits | Log message |
3.20 07 Dec 2008 20:36:49 |
miwi |
2008-09-19 japanese/escpf: Has been broken for more than 6 months
2008-09-19 java/java-gcj-compat: Has been broken for more than 6 months
2008-09-19 lang/screamer: Has been broken for more than 6 months
2008-10-01 misc/documancer: Unmaintained upstream
2008-09-19 misc/ipbt: Has been broken for more than 6 months
2008-10-13 multimedia/manslide: Use multimedia/smile instead
2008-09-19 net/globus4: Has been broken for more than 6 months
2008-09-19 net/p5-Parallel-MPI: Has been broken for more than 6 months
2008-01-28 net/p54u: website disappeared
2008-09-19 net-im/ginsu: Has been broken for more than 6 months
2008-09-19 net-p2p/py-kenosis-bittorrent: Has been broken for more than 6 months
2008-09-19 sysutils/sjog: Has been broken for more than 6 months
2008-09-19 textproc/Ebnf2ps: Has been broken for more than 6 months
2008-09-19 www/roxen: Has been broken for more than 6 months
2008-09-19 x11-fm/evidence: Has been broken for more than 6 months |
3.20 03 Sep 2008 02:57:44 |
linimon |
Reset sf@slappy.org due to maintainer-timeouts and no response to email.
Hat: portmgr |
3.20 19 Jun 2008 02:54:54 |
pav |
- This port has been BROKEN for more than 6 months. It will be removed unless
fixed in next two months.
With hat: portmgr |
3.20 08 Nov 2007 08:13:40 |
linimon |
This is now failing to build everywhere on the cluster.
Approved by: portmgr (self) |
3.20 02 Oct 2007 00:47:14 |
linimon |
Mark as broken on amd64. |
3.20 27 Dec 2005 03:58:45 |
pav |
- Add SHA256
PR: ports/90944
Submitted by: Scott Flatman <sf@slappy.org> (maintainer) |
3.20 26 Nov 2005 04:11:25 |
fenner |
Remove ${MASTER_SITE_LOCAL}, since there is no MASTER_SITE_SUBDIR
and the distfile isn't in anyone's local directory. The backup
FreeBSD distfile sites will still be used in ${MASTER_SITE_BACKUP}. |
3.20 31 Mar 2004 03:12:58 |
trevor |
SIZEify (maintainer timeout) |
3.20 22 Apr 2003 08:30:44 |
edwin |
change maintainer address
PR: ports/51262
Submitted by: Scott Flatman <sf@slappy.org> |
3.20 19 Apr 2003 13:06:13 |
nork |
Change MAINTAINER to new address.
PR: ports/51141, ports/51142, ports/51143, ports/51144
Submitted by: Scott Flatman <sf@slappy.org> (maintainer) |
3.20 21 Feb 2003 12:35:09 |
knu |
De-pkg-comment. |
3.20 19 Jan 2003 13:12:02 |
edwin |
New Port: ports/lang/screamer
Screamer is an extension of Common Lisp that adds support
for nondeterministic programming.
PR: ports/39895
Submitted by: Scott Flatman <sf@dsinw.com> |
Number of commits found: 12
|