FreshPorts -- The Place For Ports If you buy from Amazon USA, please support us by using this link.
Follow us
Blog
Twitter

I am looking for an LTO tape library. Do you have one to spare?
Port details
hs-uni A tool integration framework for Haskell, including Htk
0.99_3 devel Deleted on this many watch lists=1 search for ports that depend on this port Find issues related to this port Report an issue related to this port
Broken BROKEN: "Does not compile with ghc 6.4 (specifically, ghc-pkg)"
Deprecated DEPRECATED: ""Does not compile with ghc 6.4 (specifically, ghc-pkg)""
Expired This port expired on: 2005-09-22
Ignore IGNORE: "is marked as broken: "Does not compile with ghc 6.4 (specifically, ghc-pkg)""
Maintainer: gtchask@mm.st search for ports maintained by this maintainer
Port Added: 09 Jun 2003 20:51:47
Also Listed In: haskell
License: not specified in port
The UniForM workbench is an integration framework mainly geared towards
tools for formal methods. It uses a simple, powerful and flexible notion
of events to model all interactions between tools and users. In
particular, the workbench provides HTk, an encapsulation of Tcl/Tk based
on our event model (see HTk under Graphical User Interfaces).

WWW: http://www.informatik.uni-bremen.de/uniform/wb/
SVNWeb : Homepage : Distfiles Availability : PortsMon

NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.

Build dependencies:
  1. ghc : lang/ghc
  2. gmake : devel/gmake
Runtime dependencies:
  1. ghc : lang/ghc
  2. wish8.4 : x11-toolkits/tk84
There are no ports dependent upon this port

No installation instructions: this port has been deleted.

The package name of this deleted port was: hs-uni


Configuration Options
     No options to configure

Master Sites:
  1. ftp://ftp.FreeBSD.org/pub/FreeBSD/ports/distfiles/
  2. http://www.informatik.uni-bremen.de/htk/download/

Number of commits found: 12

Commit History - (may be incomplete: see SVNWeb link above for full details)
DateByDescription
17 Oct 2005 12:34:58
Original commit files touched by this commit  0.99_3
vs search for other commits by this committer
Remove broken port: abandoned, didn't build with latest lang/ghc

Approved by: maintainer
11 Oct 2005 15:43:06
Original commit files touched by this commit  0.99_3
fenner search for other commits by this committer
Add quoting back to DEPRECATED, to combat the extra set of quotes that
 the check-deprecated target uses.  This results in bizarre quoting like
echo """Incomplete pkg-plist (port installs into nonstandard perl directory)""."
 but that's life in bsd.port.mk land for now.
07 Oct 2005 19:12:17
Original commit files touched by this commit  0.99_3
fenner search for other commits by this committer
Don't add extra quotes around DEPRECATED when BROKEN already has
 them.  These are probably not the only ports that do this, but
 they are the only ones with bad shell metacharacters that the
 extra quotes un-quote.

Approved by:    linimon
23 Jul 2005 02:53:43
Original commit files touched by this commit  0.99_3
kris search for other commits by this committer
This port is scheduled for deletion on 2005-09-22 if it is still broken
at that time and no PRs have been submitted to fix it.
04 Apr 2005 07:55:35
Original commit files touched by this commit  0.99_3
vs search for other commits by this committer
BROKEN: Doesn't compile with current version of lang/ghc

PR:             ports/79200
Submitted by:   maintainer
31 Mar 2004 03:12:58
Original commit files touched by this commit  0.99_3
trevor search for other commits by this committer
SIZEify (maintainer timeout)
04 Feb 2004 05:21:48
Original commit files touched by this commit  0.99_3
marcus search for other commits by this committer
Bump PORTREVISION on all ports that depend on gettext to aid with upgrading.

(Part 2)
02 Feb 2004 19:33:21
Original commit files touched by this commit  0.99_2
obraun search for other commits by this committer
* Update MD5 sum. The developers have released a new tarball which compiles with
  GHC 6.2 without a version bump.
* Bump PORTREVISION.

Submitted by:   maintainer
22 Jan 2004 12:18:43
Original commit files touched by this commit  0.99_1
trevor search for other commits by this committer
Use the CPIO macro defined in bsd.port.mk.
15 Jan 2004 22:56:11
Original commit files touched by this commit  0.99_1
obraun search for other commits by this committer
* Upgrade lang/ghc to 6.2.
* Welcome lang/ghc5 after repocopy from lang/ghc.
* Say goodbye to lang/ghc6.
* Fix dependency of devel/hs-tclhaskell-ghc and devel/hs-uni.

Approved by:    portmgr (marcus), maintainer
Repocopy by:    joe
04 Dec 2003 22:51:44
Original commit files touched by this commit  0.99_1
obraun search for other commits by this committer
* Developer released a new tarball without incrementing the version number
  (verified). Upgrade to this version and bump PORTREVISION.
* Allow choosing of TK Version (default 8.4)

PR:             ports/59618
Submitted by:   maintainer
09 Jun 2003 20:51:20
Original commit files touched by this commit  0.99
obraun search for other commits by this committer
Add hs-uni 0.99, a tool integration framework for Haskell, including Htk.

PR:             ports/53062
Submitted by:   Guy Coleman <gtchask@mm.st>

Number of commits found: 12

Login
User Login
Create account

Servers and bandwidth provided by
New York Internet, SuperNews, and RootBSD

This site
What is FreshPorts?
About the authors
FAQ
How big is it?
The latest upgrade!
Privacy
Forums
Blog
Contact

Search
Enter Keywords:
 
more...

Latest Vulnerabilities
muttDec 23
muttDec 23
ntpDec 20
ntp-develDec 20
gitDec 19
otrsDec 16
mod_dav_svnDec 15
subversionDec 15
subversion16Dec 15
subversion17Dec 15
nvidia-driverDec 14
nvidia-driver-173Dec 14
nvidia-driver-304Dec 14
asterisk11Dec 11
bind99Dec 11

10 vulnerabilities affecting 28 ports have been reported in the past 14 days

* - modified, not new

All vulnerabilities


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds

Statistics
Graphs
NEW Graphs (Javascript)
Traffic

Calculated hourly:
Port count 24433
Broken 149
Deprecated 74
Ignore 400
Forbidden 2
Restricted 207
No CDROM 93
Vulnerable 20
Expired 0
Set to expire 69
Interactive 0
new 24 hours 2
new 48 hours7
new 7 days20
new fortnight45
new month102

Servers and bandwidth provided by
New York Internet, SuperNews, and RootBSD
Valid HTML, CSS, and RSS.
Copyright © 2000-2014 Dan Langille. All rights reserved.