Submitted by Yozo Toda <yozo@imit.chiba-u.ac.jp>.
The Coq Proof Assistant is designed to write formal specifications, programs
and to verify that programs are correct with respect to their specification.
* Take care to set a sane PATH.
* Add set -e
* Copy example files into ${PREFIX}/share/examples/PORTNAME.
* Replace PKGNAME with P_NAME in INSTALL/DEINSTALL scripts, unclear
since it already exists in the Makefile with a different value.
* Change output of INSTALL/DEINSTALL to be more like other scripts
found in the tree(suggested by heko@).
* Print correct names in DEINSTALL scripts(spotted by
Aleksander Piotrowski <alek@piestrak.waw.pl>)
From maintainer Nils Nordman <nino@nforced.com>.
* Take care to set a sane PATH.
* Add set -e
* Copy example files into ${PREFIX}/share/examples/PORTNAME.
* Replace PKGNAME with P_NAME in INSTALL/DEINSTALL scripts, unclear
since it already exists in the Makefile with a different value.
* Change output of INSTALL/DEINSTALL to be more like other scripts
found in the tree(suggested by heko@).
From maintainer Nils Nordman <nino@nforced.com>.
* Take care to set a sane PATH.
* Add set -e
* Copy example files into ${PREFIX}/share/examples/PORTNAME.
* Replace PKGNAME with P_NAME in INSTALL/DEINSTALL scripts, unclear
since it already exists in the Makefile with a different value.
* Change output of INSTALL/DEINSTALL to be more like other scripts
found in the tree(suggested by heko@).
* Move scrollkeeper stuff into PLIST
From maintainer Nils Nordman <nino@nforced.com>.
* Don't assume a specific depth for prefix and don't hardcode sysconfdir either.
* Move scrollkeeper stuff into PLIST
From maintainer Nils Nordman <nino@nforced.com>.
* Take care to set a sane PATH.
* Add set -e
* Copy example files into ${PREFIX}/share/examples/PORTNAME.
* Replace PKGNAME with P_NAME in INSTALL/DEINSTALL scripts, unclear
since it already exists in the Makefile with a different value.
* Change output of INSTALL/DEINSTALL to be more like other scripts
found in the tree (suggested by heko@).
* Move scrollkeeper-update stuff to PLIST
* Remove non-owned entries from PLIST
Submitted by maintainer Nils Nordman <nino@nforced.com>.
* Take care to set a sane PATH.
* Add set -e
* Copy example files into ${PREFIX}/share/examples/PORTNAME.
* Replace PKGNAME with P_NAME in INSTALL/DEINSTALL scripts, unclear
since it already exists in the Makefile with a different value.
* Change output of INSTALL/DEINSTALL to be more like other scripts
found in the tree(suggested by heko@).
Submitted by maintainer Nils Nordman <nino@nforced.com>.
--
Net::Ping::External is a module which interfaces with the ping(1)
command on the system. It presently provides a single function,
ping(), that takes in a hostname and (optionally) a timeout and
returns true if the host is alive, and false otherwise. Unless
you have the ability (and willingness) to run your scripts as
the superuser on your system, this module will probably provide
more accurate results than Net::Ping (bundled with the perl
base installation) will.
Submitted and maintained by Maurice Nonnekes <maurice@amaze.nl>
---
libpcap is a packet capturing library. It is used by all sorts of
networking diagnostic programs (like tcpdump and nmap).
py-libpcap is an interface to this library for Python.
WWW: http://sourceforge.net/projects/pylibpcap/
