FreshPorts -- lang/screamer: Extension of Common Lisp for nondeterministic programming

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.

USE_RC_SUBR (Service Scripts)

no SUBR information found for this port

Dependency lines:

screamer>0:lang/screamer

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. Perhaps there is a build error. Check the fallout link:

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

pkg-message: #

FreshPorts was unable to extract/find any pkg message

Master Sites: #

Expand this list (2 items)

Collapse this list.

Number of commits found: 12 #

Commit	Credits	Log message
Commit History - (may be incomplete: for full details, see links to repositories near top of page)
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

This site
What is FreshPorts? About the authors Issues FAQ How big is it? Security Policy Privacy Blog Contact

Latest Vulnerabilities

chromium	Nov 10
git	Nov 10
git-cvs	Nov 10
git-gui	Nov 10
git-p4	Nov 10
git-svn	Nov 10
krb5	Nov 10
krb5-122	Nov 10
krb5-devel	Nov 10
linux-chrome	Nov 10
newsboat	Nov 10
p5-Furl	Nov 10
p5-HTTP-Body	Nov 10
ungoogled-chromium	Nov 10
openexr	Nov 09

75 vulnerabilities affecting 603 ports have been reported in the past 14 days

^* - modified, not new

All vulnerabilities

Last processed:
2026-11-10 22:20:10 UTC

Ports
Home Categories Deleted ports Sanity Test Failures Newsfeeds

Statistics

Graphs
NEW Graphs (Javascript)

Calculated hourly:

Port count	35529
Broken	62
Deprecated	351
Ignore	183
Forbidden	0
Restricted	1
No CDROM	1
Vulnerable	53
Expired	11
Set to expire	270
Interactive	0
new 24 hours	12
new 48 hours	59
new 7 days	172
new fortnight	241
new month	372