libffi-3.3nb5: registering info file /usr/pkg/info/libffi.info m4-1.4.19: registering info file /usr/pkg/info/m4.info autoconf-2.71nb1: registering info file /usr/pkg/info/autoconf.info autoconf-2.71nb1: registering info file /usr/pkg/info/standards.info gmake-4.3nb2: registering info file /usr/pkg/info/make.info ocaml-findlib-1.9.1: copying /usr/pkg/share/examples/ocaml-findlib/ocamlfind.conf to /usr/pkg/etc/ocamlfind.conf ocaml-dune-2.7.1nb1: adding dune to /usr/pkg/lib/ocaml/ld.conf ocaml-dune-2.7.1nb1: adding dune-action-plugin to /usr/pkg/lib/ocaml/ld.conf ocaml-dune-2.7.1nb1: adding dune-build-info to /usr/pkg/lib/ocaml/ld.conf ocaml-dune-2.7.1nb1: adding dune-glob to /usr/pkg/lib/ocaml/ld.conf ocaml-dune-2.7.1nb1: adding dune-private-libs to /usr/pkg/lib/ocaml/ld.conf ocaml-dune-2.7.1nb1: adding stublibs to /usr/pkg/lib/ocaml/ld.conf No schema files found: doing nothing. enchant2-2.3.1: 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.20nb2: 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.20nb2: /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.17.0: registering info file /usr/pkg/info/libtasn1.info nettle-3.7.3: registering info file /usr/pkg/info/nettle.info p11-kit-0.24.0nb3: 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.2nb1: registering info file /usr/pkg/info/gnutls-client-server-use-case.png gnutls-3.7.2nb1: registering info file /usr/pkg/info/gnutls-crypto-layers.png gnutls-3.7.2nb1: registering info file /usr/pkg/info/gnutls-guile.info gnutls-3.7.2nb1: registering info file /usr/pkg/info/gnutls-handshake-sequence.png gnutls-3.7.2nb1: registering info file /usr/pkg/info/gnutls-handshake-state.png gnutls-3.7.2nb1: registering info file /usr/pkg/info/gnutls-internals.png gnutls-3.7.2nb1: registering info file /usr/pkg/info/gnutls-layers.png gnutls-3.7.2nb1: registering info file /usr/pkg/info/gnutls-logo.png gnutls-3.7.2nb1: registering info file /usr/pkg/info/gnutls-modauth.png gnutls-3.7.2nb1: registering info file /usr/pkg/info/gnutls-x509.png gnutls-3.7.2nb1: registering info file /usr/pkg/info/gnutls.info gnutls-3.7.2nb1: registering info file /usr/pkg/info/pkcs11-vision.png libgpg-error-1.43: registering info file /usr/pkg/info/gpgrt.info libgcrypt-1.9.4: registering info file /usr/pkg/info/gcrypt.info at-spi2-core-2.40.3: copying /usr/pkg/share/examples/at-spi2-core/at-spi2/accessibility.conf to /usr/pkg/etc/at-spi2/accessibility.conf at-spi2-core-2.40.3: 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.5nb1: adding result to /usr/pkg/lib/ocaml/ld.conf ocaml-csexp-1.3.2nb1: adding csexp to /usr/pkg/lib/ocaml/ld.conf ocaml-dune-configurator-2.7.1nb1: adding dune-configurator to /usr/pkg/lib/ocaml/ld.conf ocaml-lablgtk-2.18.10nb9: adding lablgtk2 to /usr/pkg/lib/ocaml/ld.conf ocaml-cairo-0.6.1nb8: adding cairo2 to /usr/pkg/lib/ocaml/ld.conf ocaml-cairo-0.6.1nb8: adding cairo2-gtk to /usr/pkg/lib/ocaml/ld.conf ocaml-cairo-0.6.1nb8: adding cairo2-pango to /usr/pkg/lib/ocaml/ld.conf ocaml-lablgtk3-3.1.0nb7: adding lablgtk3 to /usr/pkg/lib/ocaml/ld.conf ocaml-lablgtk3-3.1.0nb7: adding lablgtk3-gtkspell3 to /usr/pkg/lib/ocaml/ld.conf ocaml-lablgtk3-3.1.0nb7: adding lablgtk3-sourceview3 to /usr/pkg/lib/ocaml/ld.conf ocaml-num-1.1nb4: adding num-top to /usr/pkg/lib/ocaml/ld.conf pkg_add: package `ocaml-lablgtk-2.18.10nb9' was already installed as dependency, now marked as installed manually ocamlgraph-1.8.8nb30: adding ocamlgraph to /usr/pkg/lib/ocaml/ld.conf ocaml-zarith-1.7nb4: adding zarith to /usr/pkg/lib/ocaml/ld.conf pkg_add: package `ocaml-findlib-1.9.1' was already installed as dependency, now marked as installed manually pkg_add: package `ocaml-4.11.2' 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.rcd,v 1.2 2021/11/07 19:14:15 khorben Exp $ You should enable the dbus system-wide daemon for correct operation. Use: $ cp /usr/pkg/share/examples/rc.d/dbus /etc/rc.d/dbus Edit /etc/rc.conf to set dbus=YES. =========================================================================== =========================================================================== $NetBSD: MESSAGE.rcd,v 1.2 2021/11/07 19:14:15 khorben Exp $ You should enable the dbus system-wide daemon for correct operation. Use: $ cp /usr/pkg/share/examples/rc.d/dbus /etc/rc.d/dbus Edit /etc/rc.conf to set dbus=YES. =========================================================================== =========================================================================== $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) ===========================================================================