| Port details |
- dlv Disjunctive Datalog System
- 20121217 lang
 =0      20121217Version of this port present on the latest quarterly branch.  BROKEN: unfetchable
 DEPRECATED: Broken since 2020
 This port expired on: 2023-03-20
 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: 2007-06-01 17:19:44
- Last Update: 2023-03-19 23:51:43
- Commit Hash: 57aa88a
- License: dlv
- WWW:
- https://www.dlvsystem.com/dlv/
- Description:
- DLV is a system for disjunctive datalog with constraints, true negation
and queries.
The DLV system also includes
* the K planning system,
* a frontend for abductive diagnosis and Reiter's diagnosis,
* support for inheritance, and
* an SQL frontend which prototypes some novel SQL3 features.
  ¦  ¦  ¦  ¦ 
- Manual pages:
- FreshPorts has no man page information for this port.
- pkg-plist: as obtained via:
make generate-plist - Dependency lines:
-
- No installation instructions:
- This port has been deleted.
- PKGNAME: there is no package for this port: _LICENSE_RESTRICTED = delete-package delete-distfiles
- Flavors: there is no flavor information for this port.
- ONLY_FOR_ARCHS: i386 amd64
- distinfo:
- SHA256 (dlv.i386-linux-elf-static.bin) = 725e4c428f6aec7878f2216cd93d914d84375b395e612090a262ea833e1f27fc
SIZE (dlv.i386-linux-elf-static.bin) = 2031392
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:
- This port has no dependencies.
- There are no ports dependent upon this port
Configuration Options:- No options to configure
- Options name:
- lang_dlv
- 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 |
|---|
20121217
19 Mar 2023 23:51:43
 |
Muhammad Moinur Rahman (bofh) |
lang/dlv: Remove expired port:
2023-03-20 lang/dlv: Broken since 2020 |
20121217
20 Feb 2023 15:55:53
|
Antoine Brodin (antoine) |
lang/dlv: deprecate |
07 Sep 2022 21:58:51
|
Stefan Eßer (se) |
Remove WWW entries moved into port Makefiles
Commit b7f05445c00f has added WWW entries to port Makefiles based on
WWW: lines in pkg-descr files.
This commit removes the WWW: lines of moved-over URLs from these
pkg-descr files.
Approved by: portmgr (tcberner) |
20121217
07 Sep 2022 21:10:59
|
Stefan Eßer (se) |
Add WWW entries to port Makefiles
It has been common practice to have one or more URLs at the end of the
ports' pkg-descr files, one per line and prefixed with "WWW:". These
URLs should point at a project website or other relevant resources.
Access to these URLs required processing of the pkg-descr files, and
they have often become stale over time. If more than one such URL was
present in a pkg-descr file, only the first one was tarnsfered into
the port INDEX, but for many ports only the last line did contain the
port specific URL to further information.
There have been several proposals to make a project URL available as
a macro in the ports' Makefiles, over time.
(Only the first 15 lines of the commit message are shown above  ) |
20121217
20 Jul 2022 14:22:15
|
Tobias C. Berner (tcberner) |
lang: remove 'Created by' lines
A big Thank You to the original contributors of these ports:
* Aaron Dalton <aaron@FreeBSD.org>
* Adam Weinberger <adamw@FreeBSD.org>
* Akinori MUSHA aka knu <knu@idaemons.org>
* Alex Dupre <ale@FreeBSD.org>
* Alexey Dokuchaev <danfe@FreeBSD.org>
* Alonso Cardenas Marquez <acm@FreeBSD.org>
* Andreas Klemm <andreas@klemm.gtn.com>
* Andrew Pantyukhin <infofarmer@FreeBSD.org>
* Andrey Zakhvatov
* Anton Berezin <tobez@FreeBSD.org>
* Anton Berezin <tobez@tobez.org> (Only the first 15 lines of the commit message are shown above ) |
20121217
06 May 2021 11:47:48
|
Mathieu Arnold (mat) |
Deorbit RESTRICTED && NO_CDROM, part two.
Move ports to the licenses framework.
RESTRICTED → auto-accept (unless expressly stated otherwise)
NO_CDROM → dist-mirror pkg-mirror auto-accept
Differential Revision: https://reviews.freebsd.org/D30010 |
20121217
06 Apr 2021 14:31:07
|
Mathieu Arnold (mat) |
Remove # $FreeBSD$ from Makefiles. |
20121217
08 Oct 2020 18:01:16
  |
antoine |
Mark BROKEN
Reported by: pkg-fallout
MFH: 2020Q4 |
20121217
18 Sep 2014 20:44:32
|
antoine |
Allow staging as a regular user |
20121217
17 Jun 2014 12:18:07
|
vanilla |
Stagify. |
20121217
20 Sep 2013 19:53:10
|
bapt |
Add NO_STAGE all over the place in preparation for the staging support (cat:
lang) |
20121217
10 Mar 2013 07:01:49
|
rm |
- update to 20121217
- fix fetch [1]
- remove indefinite article from COMMENT
- tab -> space change in pkg-descr:WWW
PR: 176702
Reported by: John Marino <draco@marino.st> [1] |
20111221
21 Jun 2012 13:22:07
|
arved |
Update to more recent version.
Drop maintainership, i forgot all about dlv :(
Changelog: http://www.dlvsystem.com/dlvsystem/index.php/Version_history
Reported by: watermelon@jabber.metalab.at via Jabber |
20071011
03 Jul 2011 13:45:36
|
ohauer |
- remove MD5 |
20071011
31 Aug 2009 07:27:27
|
arved |
Layout of the MASTER_SITE changed. Adjust URLs |
20071011
12 Dec 2007 12:35:44
|
arved |
Unbreak by updating to 20071011
Changelog at http://www.dbai.tuwien.ac.at/proj/dlv/ |
20060714
28 Oct 2007 12:45:04
|
arved |
Mark BROKEN, while i am trying to figure out, why the binary changed.
Reported by: pointyhat |
20060714
02 Jun 2007 17:27:15
|
arved |
Fix "extract" by creating a WRKDIR
Reported by: pointyhat |
20060714
01 Jun 2007 18:10:41
|
arved |
Add dlv to LEGAL, no information about redistribution |
20060714
01 Jun 2007 17:16:41
|
arved |
Add dlv, a disjunctive Datalog System |
As an Amazon Associate I earn from qualifying purchases.