libffi-3.3nb4: registering info file /usr/pkg/info/libffi.info m4-1.4.18nb2: registering info file /usr/pkg/info/m4.info autoconf-2.71: registering info file /usr/pkg/info/autoconf.info autoconf-2.71: 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.7.1: adding dune to /usr/pkg/lib/ocaml/ld.conf ocaml-dune-2.7.1: adding dune-action-plugin to /usr/pkg/lib/ocaml/ld.conf ocaml-dune-2.7.1: adding dune-build-info to /usr/pkg/lib/ocaml/ld.conf ocaml-dune-2.7.1: adding dune-glob to /usr/pkg/lib/ocaml/ld.conf ocaml-dune-2.7.1: adding dune-private-libs to /usr/pkg/lib/ocaml/ld.conf ocaml-dune-2.7.1: adding stublibs to /usr/pkg/lib/ocaml/ld.conf No schema files found: doing nothing. enchant2-2.2.15: 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.20: 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.20: /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.1: registering info file /usr/pkg/info/gmp.info libtasn1-4.16.0: registering info file /usr/pkg/info/libtasn1.info nettle-3.7.1: registering info file /usr/pkg/info/nettle.info p11-kit-0.23.22nb1: 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.7.0: registering info file /usr/pkg/info/gnutls-client-server-use-case.png gnutls-3.7.0: registering info file /usr/pkg/info/gnutls-guile.info gnutls-3.7.0: registering info file /usr/pkg/info/gnutls-handshake-sequence.png gnutls-3.7.0: registering info file /usr/pkg/info/gnutls-handshake-state.png gnutls-3.7.0: registering info file /usr/pkg/info/gnutls-internals.png gnutls-3.7.0: registering info file /usr/pkg/info/gnutls-layers.png gnutls-3.7.0: registering info file /usr/pkg/info/gnutls-logo.png gnutls-3.7.0: registering info file /usr/pkg/info/gnutls-modauth.png gnutls-3.7.0: registering info file /usr/pkg/info/gnutls-x509.png gnutls-3.7.0: registering info file /usr/pkg/info/gnutls.info gnutls-3.7.0: registering info file /usr/pkg/info/pkcs11-vision.png libgpg-error-1.41: registering info file /usr/pkg/info/gpgrt.info libgcrypt-1.9.2: registering info file /usr/pkg/info/gcrypt.info at-spi2-core-2.38.0: copying /usr/pkg/share/examples/at-spi2-core/at-spi2/accessibility.conf to /usr/pkg/etc/at-spi2/accessibility.conf at-spi2-core-2.38.0: 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 The databases in [/usr/pkg/share/applications] could not be updated. ocaml-result-1.5: adding result to /usr/pkg/lib/ocaml/ld.conf ocaml-csexp-1.3.2: adding csexp to /usr/pkg/lib/ocaml/ld.conf ocaml-dune-configurator-2.7.1: adding dune-configurator to /usr/pkg/lib/ocaml/ld.conf ocaml-lablgtk-2.18.10nb7: adding lablgtk2 to /usr/pkg/lib/ocaml/ld.conf ocaml-cairo-0.6.1nb6: adding cairo2 to /usr/pkg/lib/ocaml/ld.conf ocaml-cairo-0.6.1nb6: adding cairo2-gtk to /usr/pkg/lib/ocaml/ld.conf ocaml-cairo-0.6.1nb6: adding cairo2-pango to /usr/pkg/lib/ocaml/ld.conf ocaml-lablgtk3-3.1.0nb5: adding lablgtk3 to /usr/pkg/lib/ocaml/ld.conf ocaml-lablgtk3-3.1.0nb5: adding lablgtk3-gtkspell3 to /usr/pkg/lib/ocaml/ld.conf ocaml-lablgtk3-3.1.0nb5: 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.10nb7' was already installed as dependency, now marked as installed manually ocamlgraph-1.8.8nb28: adding ocamlgraph to /usr/pkg/lib/ocaml/ld.conf ocaml-zarith-1.7nb2: 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.11.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.3 2020/12/17 20:18:52 maya 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/rc.messagebus.slackware: if you are using a Slackware-like system. =========================================================================== =========================================================================== $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) ===========================================================================