Port details |
- kimwitu Tool for processing trees (i.e. terms)
- 4.6.1 devel
=0 4.6.1Version of this port present on the latest quarterly branch.
- BROKEN: unfetchable
DEPRECATED: Unfetchable, unmaintained This port expired on: 2019-10-16 IGNORE: is marked as broken: unfetchable
- 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
- Port Added: 2001-04-23 09:16:38
- Last Update: 2019-10-16 15:29:32
- SVN Revision: 514601
- License: not specified in port
- WWW:
- http://fmt.cs.utwente.nl/kimwitu/
- Description:
- 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/
-
cgit ¦ GitHub ¦ GitHub ¦ GitLab ¦
- Manual pages:
-
- pkg-plist: as obtained via:
make generate-plist - Dependency lines:
-
- No installation instructions:
- This port has been deleted.
- PKGNAME: kimwitu
- Flavors: there is no flavor information for this port.
- distinfo:
- SHA256 (kc-distr.V4_6_1.tar.gz) = 8b5d468e853771b0756406e5d174ddb0dbd5b4091772c36dbfeecc95fd7a676b
SIZE (kc-distr.V4_6_1.tar.gz) = 496941
No package information for this port in our database- Sometimes this happens. Not all ports have packages.
- This port has no dependencies.
- There are no ports dependent upon this port
Configuration Options:
- No options to configure
- Options name:
- N/A
- FreshPorts was unable to extract/find any pkg message
- Master Sites:
|
Commit History - (may be incomplete: for full details, see links to repositories near top of page) |
Commit | Credits | Log message |
4.6.1 16 Oct 2019 15:29:32 |
rene |
Remove expired ports:
2019-10-16 archivers/freetar: Unfetchable, unmaintained
2019-10-16 archivers/hffzip: Unfetchable, unmaintained
2019-10-16 archivers/hpack.non-usa.only: Unfetchable, unmaintained
2019-10-16 archivers/untar: Unfetchable, unmaintained
2019-10-16 astro/gpsdrive: Unfetchable, unmaintained
2019-10-16 astro/planets: Unfetchable, unmaintained
2019-10-16 audio/ascd: Unfetchable, unmaintained
2019-10-16 audio/audiotag: Unfetchable, unmaintained
2019-10-16 audio/gmidimonitor: Unfetchable, unmaintained
2019-10-16 audio/gmpc-lyricwiki: Unfetchable, unmaintained
2019-10-16 audio/jack_mixer: Unfetchable, unmaintained
2019-10-16 audio/jmusic: Unfetchable, unmaintained
2019-10-16 audio/maplay: Unfetchable, unmaintained (Only the first 15 lines of the commit message are shown above ) |
4.6.1 15 Sep 2019 17:28:09 |
antoine |
Deprecate a few ports |
4.6.1 04 Aug 2019 10:02:47 |
antoine |
Mark BROKEN: unfetchable |
4.6.1 30 Dec 2015 11:19:08 |
rakuco |
Unmark BROKEN.
The port can be fetched just fine. While here, add the official mirror as the
preferred MASTER_SITE. |
4.6.1 12 Dec 2015 23:02:03 |
bapt |
Mark as broken: does not fetch |
4.6.1 10 Jun 2014 07:39:02 |
olgeni |
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) |
4.6.1 19 Feb 2014 09:13:30 |
ehaupt |
Support staging |
4.6.1 20 Sep 2013 17:13:47 |
bapt |
Add NO_STAGE all over the place in preparation for the staging support (cat:
devel part 3) |
4.6.1 03 Jul 2011 14:59:23 |
ohauer |
-remove MD5 |
4.6.1 20 Nov 2009 22:53:09 |
pav |
- Mark MAKE_JOBS_UNSAFE
Reported by: pointyhat |
4.6.1 05 Nov 2006 17:13:27 |
alepulver |
- Make fetchable.
- Update WWW in pkg-descr to reflect new home.
PR: ports/104656
Submitted by: Thomas Abthorpe <thomas@goodking.ca> |
4.6.1 24 Nov 2005 15:40:04 |
pav |
- Add some SHA256 checksums |
4.6.1 21 Apr 2004 01:01:36 |
ijliao |
Ports freeze now, so I back it out
Pointed out by: marcus |
4.6.1 21 Apr 2004 00:57:40 |
ijliao |
drop maintainership |
4.6.1 21 Apr 2004 00:55:02 |
ijliao |
make it clear that we set ALL_TARGET to empty
PR: 65409
Submitted by: trevor |
4.6.1 18 Mar 2004 06:25:52 |
ijliao |
SIZEify
Submitted by: trevor |
4.6.1 06 Feb 2004 13:12:53 |
trevor |
Use PLIST_FILES (bento-tested, marcus-reviewed). |
4.6.1 07 Mar 2003 06:01:16 |
ade |
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 |
ijliao |
add kimwitu A tool for processing trees (i.e. terms) |