| Port details |
- imp-interpreter Monadic interpreter of a simple imperative language
- 1.0.7_1 lang
 =0      1.0.7_1Version of this port present on the latest quarterly branch.  DEPRECATED: No more public distfiles
 This port expired on: 2012-11-26
- 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: 2006-08-17 21:16:43
- Last Update: 2012-11-28 10:32:44
- SVN Revision: 307898
- License: not specified in port
- WWW:
- http://www.ocaml.info/home/ocaml_sources.html
- Description:
- IMP is a monadic style implementation of the semantics of the (very simple)
language IMP, "plain" the implementation with explicit passing of state.
The semantics of the IMP-language is presented in the book:
"The Formal Semantics of Programming Languages" by Glynn Winskel
(1993, The MIT Press).
For more details on monads, see Philip Wadler's page on:
http://cm.bell-labs.com/cm/cs/who/wadler/topics/monads.html#combining-monads
Author: Markus Mottl <markus.mottl@gmail.com>
WWW: http://www.ocaml.info/home/ocaml_sources.html
 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:
-
- IMP>0:lang/imp-interpreter
- No installation instructions:
- This port has been deleted.
- PKGNAME: IMP
- 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:
-
- ocamlc : lang/ocaml
- gmake : devel/gmake
- 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:
|
| Commit History - (may be incomplete: for full details, see links to repositories near top of page) |
| Commit | Credits | Log message |
|---|
1.0.7_1
28 Nov 2012 10:32:44
  |
bapt |
2012-11-27 java/jmp: Java 1.5 is EOLed
2012-11-26 irc/tr-ircd: No more public distfiles
2012-11-26 lang/imp-interpreter: No more public distfiles
2012-11-26 games/xquarto: No more public distfiles
2012-11-26 games/six: No more public distfiles
2012-11-26 finance/gfp: No more public distfiles
2012-11-26 games/44bsd-hunt: No more public distfiles
2012-11-26 graphics/ale: No more public distfiles
2012-11-26 german/digibux: No more public distfiles
2012-11-26 java/eclipse-clay-core: No more public distfiles
2012-11-26 games/xbloody: No more public distfiles
2012-11-26 dns/sqldjbdns: No more public distfiles
Feature safe: yes |
1.0.7_1
26 Oct 2012 14:57:51
|
bapt |
Deprecate a bunch of ports that are either abandonware and/or for which no more
public distfiles are available, or for which are -devel version with a more
recent stable version for long
Feature safe: yes |
1.0.7_1
24 Oct 2011 03:33:20
|
stas |
- Return my ports back to the pool. I was unable to make any fixes to
my ports in the past 3 weeks while ports were broken on any 10.x
machines, which means I'm unable to maintain them. So let people know
that there's no available support for them until things are back to
normal (which also means that anyone with spare time will be able
to fix them without getting approval). |
1.0.7_1
03 Jul 2011 13:45:36
|
ohauer |
- remove MD5 |
1.0.7_1
04 Aug 2007 11:41:31
|
gabor |
- Remove the DESTDIR modifications from individual ports as we have a new,
fully chrooted DESTDIR, which does not need such any more.
Sponsored by: Google Summer of Code 2007
Approved by: portmgr (pav) |
1.0.7_1
19 May 2007 20:32:57
|
flz |
- Welcome X.org 7.2 \o/.
- Set X11BASE to ${LOCALBASE} for recent ${OSVERSION}.
- Bump PORTREVISION for ports intalling files in ${X11BASE}. |
1.0.7
14 Mar 2007 04:12:32
|
linimon |
Switch to using new files Mk/bsd.ocaml.mk [1] and Mk/bsd.xfce.mk [2].
PR: 101029 [1], 108862 [2]
Submitted by: Stanislav Sedov <ssedov at mbsd dot msk dot ru> [1], oliver [2] |
1.0.7
09 Dec 2006 11:51:22
|
stas |
- Update to 1.0.7
- Change my email |
1.0.6
17 Aug 2006 21:16:30
|
miwi |
IMP is a monadic style implementation of the semantics of the (very simple)
language IMP, "plain" the implementation with explicit passing of state.
The semantics of the IMP-language is presented in the book:
"The Formal Semantics of Programming Languages" by Glynn Winskel
(1993, The MIT Press).
for more details on monads, see Philip Wadler's page on:
http://cm.bell-labs.com/cm/cs/who/wadler/topics/monads.html#combining-monads
Author: Markus Mottl <markus.mottl@gmail.com>
WWW: http://www.ocaml.info/home/ocaml_sources.html
PR: ports/102103
Submitted by: Stanislav Sedov <ssedov@mbsd.msk.ru>
Approved by: krion (mentor) |
As an Amazon Associate I earn from qualifying purchases.