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

Port details
kimwitu Tool for processing trees (i.e. terms)
4.6.1 devel on this many watch lists=0 search for ports that depend on this port Find issues related to this port Report an issue related to this port

There is no maintainer for this port.
Any concerns regarding this port should be directed to the FreeBSD Ports mailing list via ports@FreeBSD.org search for ports maintained by this maintainer
Port Added: 23 Apr 2001 09:16:38
License: not specified in port
Kimwitu is a system that supports the construction of programs that use
trees or terms as their main data structure. It is a `meta-tool' in the
development process of tools. Its input is an abstract description of
terms, annotated with implementation directives, plus a definition of
functions on these terms. The output consists of a number of C-files that
contain data-structure definitions for the terms, a number of standard
functions on those terms, and a translation (in C) of the function
definitions in the input (eg. term rewriting).

The standard functions can be used to create terms, compare them for
equality, read and write them on files in various formats and do
manipulations like list concatenation.

WWW: http://fmt.cs.utwente.nl/kimwitu/
SVNWeb : Homepage : PortsMon

To install the port: cd /usr/ports/devel/kimwitu/ && make install clean
To add the package: pkg install kimwitu

PKGNAME: kimwitu

distinfo:

SHA256 (kc-distr.V4_6_1.tar.gz) = 8b5d468e853771b0756406e5d174ddb0dbd5b4091772c36dbfeecc95fd7a676b
SIZE (kc-distr.V4_6_1.tar.gz) = 496941

There are no ports dependent upon this port


Configuration Options
     No options to configure

Master Sites:
  1. http://fmt.cs.utwente.nl/kimwitu/ftp/
  2. http://www.sourcefiles.org/Programming/Compilers/Object-Oriented/

Number of commits found: 16

Commit History - (may be incomplete: see SVNWeb link above for full details)
DateByDescription
30 Dec 2015 11:19:08
Original commit files touched by this commit  4.6.1
Revision:404833
rakuco search for other commits by this committer
Unmark BROKEN.

The port can be fetched just fine. While here, add the official mirror as the
preferred MASTER_SITE.
12 Dec 2015 23:02:03
Original commit files touched by this commit  4.6.1
Revision:403636
bapt search for other commits by this committer
Mark as broken: does not fetch
10 Jun 2014 07:39:02
Original commit files touched by this commit  4.6.1
Revision:357277
olgeni search for other commits by this committer
Remove indefinite articles and trailing periods from COMMENT, plus
minor COMMENT typos and surrounding whitespace fixes. Categories D-F.

CR:		D196
Approved by:	portmgr (bapt)
19 Feb 2014 09:13:30
Original commit files touched by this commit  4.6.1
Revision:345041
ehaupt search for other commits by this committer
Support staging
20 Sep 2013 17:13:47
Original commit files touched by this commit  4.6.1
Revision:327724
bapt search for other commits by this committer
Add NO_STAGE all over the place in preparation for the staging support (cat:
devel part 3)
03 Jul 2011 14:59:23
Original commit files touched by this commit  4.6.1
ohauer search for other commits by this committer
-remove MD5
20 Nov 2009 22:53:09
Original commit files touched by this commit  4.6.1
pav search for other commits by this committer
- Mark MAKE_JOBS_UNSAFE

Reported by:    pointyhat
05 Nov 2006 17:13:27
Original commit files touched by this commit  4.6.1
alepulver search for other commits by this committer
- Make fetchable.
- Update WWW in pkg-descr to reflect new home.

PR:             ports/104656
Submitted by:   Thomas Abthorpe <thomas@goodking.ca>
24 Nov 2005 15:40:04
Original commit files touched by this commit  4.6.1
pav search for other commits by this committer
- Add some SHA256 checksums
21 Apr 2004 01:01:36
Original commit files touched by this commit  4.6.1
ijliao search for other commits by this committer
Ports freeze now, so I back it out

Pointed out by: marcus
21 Apr 2004 00:57:40
Original commit files touched by this commit  4.6.1
ijliao search for other commits by this committer
drop maintainership
21 Apr 2004 00:55:02
Original commit files touched by this commit  4.6.1
ijliao search for other commits by this committer
make it clear that we set ALL_TARGET to empty

PR:             65409
Submitted by:   trevor
18 Mar 2004 06:25:52
Original commit files touched by this commit  4.6.1
ijliao search for other commits by this committer
SIZEify

Submitted by:   trevor
06 Feb 2004 13:12:53
Original commit files touched by this commit  4.6.1
trevor search for other commits by this committer
Use PLIST_FILES (bento-tested, marcus-reviewed).
07 Mar 2003 06:01:16
Original commit files touched by this commit  4.6.1
ade search for other commits by this committer
Clear moonlight beckons.
Requiem mors pacem pkg-comment,
And be calm ports tree.

E Nomini Patri, E Fili, E Spiritu Sancti.
23 Apr 2001 13:16:38
files touched by this commit
ijliao search for other commits by this committer
add kimwitu   A tool for processing trees (i.e. terms)    

Number of commits found: 16

Login
User Login
Create account

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

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

Search
Enter Keywords:
 
more...

Latest Vulnerabilities
bind9-develSep 28
bind910Sep 28
bind911Sep 28
bind99Sep 28
libresslSep 26
libressl-develSep 26
opensslSep 26
openssl-develSep 26
openssl*Sep 23
openssl-devel*Sep 23
irssi*Sep 22
irssi*Sep 22
firefoxSep 20
firefox*Sep 20
firefox-esrSep 20

11 vulnerabilities affecting 36 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 26275
Broken 375
Deprecated 218
Ignore 639
Forbidden 0
Restricted 199
No CDROM 83
Vulnerable 61
Expired 14
Set to expire 204
Interactive 0
new 24 hours 4
new 48 hours12
new 7 days32
new fortnight63
new month119

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