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 0.99_3 devel Deleted on this many watch lists=1 search for ports that depend on 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)""
A tool integration framework for Haskell, including Htk
Was Maintained by: 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 : Main Web Site : Distfiles Availability : PortsMon

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

Required To Build:
  1. lang/ghc
  2. devel/gmake
Required To Run:
  1. lang/ghc
  2. 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
dbusJul 03
mencoderJun 28
mplayerJun 28
lzo2Jun 26
phpmyadmin*Jun 24
gnupgJun 23
gnupg1Jun 23
samba36Jun 23
samba4Jun 23
samba41Jun 23
iodineJun 18
asteriskJun 17
asterisk11Jun 17
dbusJun 14
chromiumJun 10

7 vulnerabilities affecting 10 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 24453
Broken 195
Deprecated 588
Ignore 518
Forbidden 2
Restricted 264
No CDROM 102
Vulnerable 26
Expired 4
Set to expire 575
Interactive 14
new 24 hours 5
new 48 hours9
new 7 days35
new fortnight55
new month97

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