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

Please give me your LTO-4 or better tape library and I'll put it to good use.
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
graphvizAug 29
firefoxAug 28
firefox*Aug 28
firefox-esrAug 28
firefox-esr*Aug 28
libxul*Aug 28
linux-firefoxAug 28
linux-firefox*Aug 28
linux-seamonkey*Aug 28
linux-thunderbird*Aug 28
seamonkey*Aug 28
thunderbird*Aug 28
libpgf*Aug 26
goAug 25
go14Aug 25

27 vulnerabilities affecting 63 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 25180
Broken 195
Deprecated 42
Ignore 499
Forbidden 1
Restricted 204
No CDROM 94
Vulnerable 41
Expired 2
Set to expire 26
Interactive 0
new 24 hours 2
new 48 hours6
new 7 days16
new fortnight87
new month199

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