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
chromiumAug 26
fileAug 21
py-djangoAug 21
py-django-develAug 21
py-django14Aug 21
py-django15Aug 21
php53Aug 18
phpmyadminAug 17
chromiumAug 13
serfAug 11
subversionAug 11
subversion17Aug 11
nginxAug 09
nginx-develAug 09
mingw32-opensslAug 06

6 vulnerabilities affecting 9 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 24520
Broken 217
Deprecated 721
Ignore 561
Forbidden 36
Restricted 261
No CDROM 101
Vulnerable 23
Expired 1
Set to expire 711
Interactive 0
new 24 hours 11
new 48 hours16
new 7 days61
new fortnight98
new month264

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