libffi-3.3nb2: registering info file /usr/pkg/info/libffi.info
m4-1.4.18nb2: registering info file /usr/pkg/info/m4.info
autoconf-2.69nb9: registering info file /usr/pkg/info/autoconf.info
autoconf-2.69nb9: registering info file /usr/pkg/info/standards.info
gmake-4.2.1nb1: registering info file /usr/pkg/info/make.info
ocaml-findlib-1.8.1: copying /usr/pkg/share/examples/ocaml-findlib/ocamlfind.conf to /usr/pkg/etc/ocamlfind.conf
ocaml-dune-2.1.3nb1: adding dune to /usr/pkg/lib/ocaml/ld.conf
ocaml-dune-2.1.3nb1: adding dune-action-plugin to /usr/pkg/lib/ocaml/ld.conf
ocaml-dune-2.1.3nb1: adding dune-build-info to /usr/pkg/lib/ocaml/ld.conf
ocaml-dune-2.1.3nb1: adding dune-configurator to /usr/pkg/lib/ocaml/ld.conf
ocaml-dune-2.1.3nb1: adding dune-glob to /usr/pkg/lib/ocaml/ld.conf
ocaml-dune-2.1.3nb1: adding dune-private-libs to /usr/pkg/lib/ocaml/ld.conf
ocaml-dune-2.1.3nb1: adding stublibs to /usr/pkg/lib/ocaml/ld.conf
No schema files found: doing nothing.
enchant2-2.2.8nb1: copying /usr/pkg/share/examples/enchant.ordering to /usr/pkg/share/enchant/enchant.ordering
xmlcatmgr-2.2nb1: copying /usr/pkg/share/examples/xmlcatmgr/catalog.etc.sgml to /usr/pkg/etc/sgml/catalog
xmlcatmgr-2.2nb1: copying /usr/pkg/share/examples/xmlcatmgr/catalog.etc.xml to /usr/pkg/etc/xml/catalog
xmlcatmgr-2.2nb1: copying /usr/pkg/share/examples/xmlcatmgr/catalog.share.sgml to /usr/pkg/share/sgml/catalog
xmlcatmgr-2.2nb1: copying /usr/pkg/share/examples/xmlcatmgr/catalog.share.xml to /usr/pkg/share/xml/catalog
dbus-1.12.16: Creating group ``dbus''
dbus-1.12.16: Creating user ``dbus''
useradd: Warning: home directory `/var/run/dbus' doesn't exist, and -m was not specified
dbus-1.12.16: setting permissions on /usr/pkg/libexec/dbus-daemon-launch-helper (o=root, g=dbus, m=4511)
===========================================================================
The following files should be created for dbus-1.12.16:
/etc/rc.d/dbus (m=0755)
[/usr/pkg/share/examples/rc.d/dbus]
===========================================================================
libpaper-1.1.28: copying /usr/pkg/share/examples/libpaper/papersize to /usr/pkg/etc/papersize
gmp-6.2.0: registering info file /usr/pkg/info/gmp.info
libtasn1-4.16.0: registering info file /usr/pkg/info/libtasn1.info
nettle-3.6: registering info file /usr/pkg/info/nettle.info
p11-kit-0.23.15nb1: copying /usr/pkg/share/examples/p11-kit/pkcs11.conf.example to /usr/pkg/etc/pkcs11/pkcs11.conf
libunistring-0.9.10: registering info file /usr/pkg/info/libunistring.info
gnutls-3.6.13nb2: registering info file /usr/pkg/info/gnutls-client-server-use-case.png
gnutls-3.6.13nb2: registering info file /usr/pkg/info/gnutls-guile.info
gnutls-3.6.13nb2: registering info file /usr/pkg/info/gnutls-handshake-sequence.png
gnutls-3.6.13nb2: registering info file /usr/pkg/info/gnutls-handshake-state.png
gnutls-3.6.13nb2: registering info file /usr/pkg/info/gnutls-internals.png
gnutls-3.6.13nb2: registering info file /usr/pkg/info/gnutls-layers.png
gnutls-3.6.13nb2: registering info file /usr/pkg/info/gnutls-logo.png
gnutls-3.6.13nb2: registering info file /usr/pkg/info/gnutls-modauth.png
gnutls-3.6.13nb2: registering info file /usr/pkg/info/gnutls-x509.png
gnutls-3.6.13nb2: registering info file /usr/pkg/info/gnutls.info
gnutls-3.6.13nb2: registering info file /usr/pkg/info/pkcs11-vision.png
libgpg-error-1.37: registering info file /usr/pkg/info/gpgrt.info
libgcrypt-1.8.5: registering info file /usr/pkg/info/gcrypt.info
at-spi2-core-2.35.1nb1: copying /usr/pkg/share/examples/at-spi2-core/at-spi2/accessibility.conf to /usr/pkg/etc/at-spi2/accessibility.conf
at-spi2-core-2.35.1nb1: copying /usr/pkg/share/examples/at-spi2-core/xdg/autostart/at-spi-dbus-bus.desktop to /usr/pkg/etc/xdg/autostart/at-spi-dbus-bus.desktop
fontconfig-2.13.1: copying /usr/pkg/share/fontconfig/conf.avail/10-hinting-full.conf to /usr/pkg/etc/fontconfig/conf.d/10-hinting-full.conf
fontconfig-2.13.1: copying /usr/pkg/share/fontconfig/conf.avail/10-hinting-medium.conf to /usr/pkg/etc/fontconfig/conf.d/10-hinting-medium.conf
fontconfig-2.13.1: copying /usr/pkg/share/fontconfig/conf.avail/10-hinting-none.conf to /usr/pkg/etc/fontconfig/conf.d/10-hinting-none.conf
fontconfig-2.13.1: copying /usr/pkg/share/fontconfig/conf.avail/10-hinting-slight.conf to /usr/pkg/etc/fontconfig/conf.d/10-hinting-slight.conf
fontconfig-2.13.1: copying /usr/pkg/share/fontconfig/conf.avail/10-scale-bitmap-fonts.conf to /usr/pkg/etc/fontconfig/conf.d/10-scale-bitmap-fonts.conf
fontconfig-2.13.1: copying /usr/pkg/share/fontconfig/conf.avail/20-unhint-small-vera.conf to /usr/pkg/etc/fontconfig/conf.d/20-unhint-small-vera.conf
fontconfig-2.13.1: copying /usr/pkg/share/fontconfig/conf.avail/30-metric-aliases.conf to /usr/pkg/etc/fontconfig/conf.d/30-metric-aliases.conf
fontconfig-2.13.1: copying /usr/pkg/share/fontconfig/conf.avail/30-pkgsrc-aliases.conf to /usr/pkg/etc/fontconfig/conf.d/30-pkgsrc-aliases.conf
fontconfig-2.13.1: copying /usr/pkg/share/fontconfig/conf.avail/40-nonlatin.conf to /usr/pkg/etc/fontconfig/conf.d/40-nonlatin.conf
fontconfig-2.13.1: copying /usr/pkg/share/fontconfig/conf.avail/45-latin.conf to /usr/pkg/etc/fontconfig/conf.d/45-latin.conf
fontconfig-2.13.1: copying /usr/pkg/share/fontconfig/conf.avail/49-sansserif.conf to /usr/pkg/etc/fontconfig/conf.d/49-sansserif.conf
fontconfig-2.13.1: copying /usr/pkg/share/fontconfig/conf.avail/50-user.conf to /usr/pkg/etc/fontconfig/conf.d/50-user.conf
fontconfig-2.13.1: copying /usr/pkg/share/fontconfig/conf.avail/51-local.conf to /usr/pkg/etc/fontconfig/conf.d/51-local.conf
fontconfig-2.13.1: copying /usr/pkg/share/fontconfig/conf.avail/60-latin.conf to /usr/pkg/etc/fontconfig/conf.d/60-latin.conf
fontconfig-2.13.1: copying /usr/pkg/share/fontconfig/conf.avail/65-fonts-persian.conf to /usr/pkg/etc/fontconfig/conf.d/65-fonts-persian.conf
fontconfig-2.13.1: copying /usr/pkg/share/fontconfig/conf.avail/65-nonlatin.conf to /usr/pkg/etc/fontconfig/conf.d/65-nonlatin.conf
fontconfig-2.13.1: copying /usr/pkg/share/fontconfig/conf.avail/69-unifont.conf to /usr/pkg/etc/fontconfig/conf.d/69-unifont.conf
fontconfig-2.13.1: copying /usr/pkg/share/fontconfig/conf.avail/80-delicious.conf to /usr/pkg/etc/fontconfig/conf.d/80-delicious.conf
fontconfig-2.13.1: copying /usr/pkg/share/fontconfig/conf.avail/90-synthetic.conf to /usr/pkg/etc/fontconfig/conf.d/90-synthetic.conf
fontconfig-2.13.1: copying /usr/pkg/share/examples/fontconfig/conf.d/README to /usr/pkg/etc/fontconfig/conf.d/README
fontconfig-2.13.1: copying /usr/pkg/share/examples/fontconfig/fonts.conf to /usr/pkg/etc/fontconfig/fonts.conf
libvdpau-1.3: copying /usr/pkg/share/examples/libvdpau/vdpau_wrapper.cfg to /usr/pkg/etc/vdpau_wrapper.cfg
MesaLib-20.0.6: copying /usr/pkg/share/examples/mesa/00-mesa-defaults.conf to /usr/pkg/etc/drirc
The databases in [/usr/pkg/share/applications] could not be updated.
ocaml-lablgtk-2.18.10nb4: adding lablgtk2 to /usr/pkg/lib/ocaml/ld.conf
ocaml-cairo-0.6.1nb3: adding cairo2 to /usr/pkg/lib/ocaml/ld.conf
ocaml-cairo-0.6.1nb3: adding cairo2-gtk to /usr/pkg/lib/ocaml/ld.conf
ocaml-cairo-0.6.1nb3: adding cairo2-pango to /usr/pkg/lib/ocaml/ld.conf
ocaml-lablgtk3-3.1.0nb2: adding lablgtk3 to /usr/pkg/lib/ocaml/ld.conf
ocaml-lablgtk3-3.1.0nb2: adding lablgtk3-gtkspell3 to /usr/pkg/lib/ocaml/ld.conf
ocaml-lablgtk3-3.1.0nb2: adding lablgtk3-sourceview3 to /usr/pkg/lib/ocaml/ld.conf
ocaml-num-1.1nb3: adding num-top to /usr/pkg/lib/ocaml/ld.conf
pkg_add: package `ocaml-lablgtk-2.18.10nb4' was already installed as dependency, now marked as installed manually
ocamlgraph-1.8.8nb25: adding ocamlgraph to /usr/pkg/lib/ocaml/ld.conf
ocaml-zarith-1.7nb1: adding zarith to /usr/pkg/lib/ocaml/ld.conf
pkg_add: package `ocaml-findlib-1.8.1' was already installed as dependency, now marked as installed manually
pkg_add: package `ocaml-4.09.1' was already installed as dependency, now marked as installed manually
===========================================================================
$NetBSD: MESSAGE,v 1.1 2018/11/01 09:36:47 bsiegert Exp $
For whichever spell-checkers you've installed (perhaps indirectly
by selecting options to this package), you need to install one
or more language-specific dictionaries.
===========================================================================
===========================================================================
$NetBSD: MESSAGE,v 1.5 2004/01/23 17:12:16 jmmv Exp $
The following catalogs have been installed:
* /usr/pkg/etc/sgml/catalog
System wide SGML catalog. Can be edited by the administrator and
is not changed by packages. This is the *default* catalog when
working in SGML mode.
* /usr/pkg/etc/xml/catalog
System wide XML catalog. Can be edited by the administrator and
is not changed by packages. This is the *default* catalog when
working in XML mode.
* /usr/pkg/share/sgml/catalog
Handles SGML stuff installed under /usr/pkg/share/sgml.
Automatically handled by packages.
* /usr/pkg/share/xml/catalog
Handles XML stuff installed under /usr/pkg/share/xml.
Automatically handled by packages.
===========================================================================
===========================================================================
$NetBSD: MESSAGE,v 1.2 2014/12/02 05:20:24 snj Exp $
You should enable the dbus system-wide daemon for correct operation. You
can do this by using one of the three start-up scripts installed by the
package. Use:
* /usr/pkg/share/examples/rc.d/dbus:
if you are using NetBSD's and pkgsrc's rc.subr start-up framework.
* /usr/pkg/share/examples/rc.d/messagebus.redhat:
if you are using a Red-Hat based system (such as Fedora).
* /usr/pkg/share/examples/rc.d/rc.messagebus.slackware:
if you are using a Slackware-like system.
===========================================================================
===========================================================================
$NetBSD: MESSAGE,v 1.5 2014/08/10 10:47:42 wiz Exp $
Execute this command to extract and rehash all CA root certificates
distributed by the Mozilla Project, so that they can be used by third
party applications using OpenSSL. It also creates a single file
certificate bundle in PEM format which can be used by applications using
GnuTLS.
# mozilla-rootcerts install
To mark these certificates as trusted for users of gnupg2, do
the following (assuming default PKG_SYSCONFBASE and a Bourne shell):
# mkdir -p /usr/pkg/etc/gnupg
# cd /usr/pkg/etc/gnupg
# for c in /etc/openssl/certs/*.pem; do
> openssl x509 -in $c -noout -fingerprint|sed 's|^.*=\(.*\)|\1 S|'
> done > trustlist.txt
===========================================================================
===========================================================================
$NetBSD: MESSAGE,v 1.1.1.1 2003/03/22 20:21:16 kristerw Exp $
You may wish to add the following to your ~/.emacs:
(add-to-list 'auto-mode-alist '("\\.v$" . coq-mode))
(autoload 'coq-mode "coq" "Major mode for editing Coq vernacular." t)
(autoload 'run-coq "coq-inferior" "Run an inferior Coq process." t)
(autoload 'run-coq-other-window "coq-inferior"
"Run an inferior Coq process in a new window." t)
(autoload 'run-coq-other-frame "coq-inferior"
"Run an inferior Coq process in a new frame." t)
===========================================================================