As an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)
Want a good monitor light? See my photos
All times are UTCnotbug
Remember
I remember
Menu ☰ Menu
Searches without login should now work. You must get asked to click a button.
Some translations wanted please.
New RSS 2.0 and Atom feeds are here. The old /backend/ feeds still work, but will be redirected later, so please update your subscriptions. Details.
Port details
hs-uni A tool integration framework for Haskell, including Htk
0.99_3 devel Deleted Σ=1 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 0.99_3Version of this port present on the latest quarterly branch.
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: 2003-06-09 20:51:47
Last Update: 2005-10-17 12:34:58
SVN Revision: UNKNOWN
Also Listed In: haskell
License: not specified in port
WWW:
http://www.informatik.uni-bremen.de/uniform/wb/
Description: #
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/
Homepage    cgit ¦ GitHub ¦ GitHub ¦ GitLab ¦ SVNWeb - no subversion history for this port
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.
USE_RC_SUBR (Service Scripts)
  • no SUBR information found for this port
Dependency lines:
  • hs-uni>0:devel/hs-uni
No installation instructions:
This port has been deleted.
PKGNAME: hs-uni
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. Perhaps there is a build error. Check the fallout link: pkg-fallout
Dependencies #
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 #
Configuration Options: #
No options to configure
Options name: #
N/A
pkg-message: #
FreshPorts was unable to extract/find any pkg message
Master Sites: #
Expand this list (2 items)
Collapse this list.
  1. ftp://ftp.FreeBSD.org/pub/FreeBSD/ports/distfiles/
  2. http://www.informatik.uni-bremen.de/htk/download/
Collapse this list.

Number of commits found: 12 #

Commit History - (may be incomplete: for full details, see links to repositories near top of page)
CommitCreditsLog message
0.99_3
17 Oct 2005 12:34:58
Original commit files touched by this commit		 vs search for other commits by this committer 
Remove broken port: abandoned, didn't build with latest lang/ghc

Approved by: maintainer
0.99_3
11 Oct 2005 15:43:06
Original commit files touched by this commit		 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.
0.99_3
07 Oct 2005 19:12:17
Original commit files touched by this commit		 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
0.99_3
23 Jul 2005 02:53:43
Original commit files touched by this commit		 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.
0.99_3
04 Apr 2005 07:55:35
Original commit files touched by this commit		 vs search for other commits by this committer 
BROKEN: Doesn't compile with current version of lang/ghc

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

(Part 2)
0.99_2
02 Feb 2004 19:33:21
Original commit files touched by this commit		 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
0.99_1
22 Jan 2004 12:18:43
Original commit files touched by this commit		 trevor search for other commits by this committer 
Use the CPIO macro defined in bsd.port.mk.
0.99_1
15 Jan 2004 22:56:11
Original commit files touched by this commit		 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
0.99_1
04 Dec 2003 22:51:44
Original commit files touched by this commit		 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
0.99
09 Jun 2003 20:51:20
Original commit files touched by this commit		 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

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

This site
What is FreshPorts?
About the authors
Issues
FAQ
How big is it?
Security Policy
Privacy
Blog
Contact

Latest Vulnerabilities
ankiNov 05
elixirNov 05
elixir-develNov 05
elixir-develNov 05
giteaNov 05
keycloakNov 05
openexrNov 05
openvox-agent8Nov 05
openvox-agent9Nov 05
openvox-server8Nov 05
openvox-server8Nov 05
openvox-server9Nov 05
openvox-server9Nov 05
openvoxdb8Nov 05
openvoxdb9Nov 05

77 vulnerabilities affecting 686 ports have been reported in the past 14 days

* - modified, not new

All vulnerabilities

Last processed:
2026-11-05 17:50:32 UTC


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds

Statistics
Graphs
NEW Graphs (Javascript)

Calculated hourly:
Port count 35448
Broken 60
Deprecated 352
Ignore 183
Forbidden 0
Restricted 1
No CDROM 1
Vulnerable 55
Expired 11
Set to expire 272
Interactive 0
new 24 hours 71
new 48 hours80
new 7 days138
new fortnight179
new month321
Servers and bandwidth provided by
New York Internet, iXsystems, and RootBSD 		Valid HTML, CSS, and RSS. Copyright © 2000-2026 Dan Langille. All rights reserved.