Installed: efuns_0.17.0.3.orig.tar.gz to dists/woody/main/source/editors/efuns_0.17.0.3.orig.tar.gz efuns_0.17.0.3-1.diff.gz to dists/woody/main/source/editors/efuns_0.17.0.3-1.diff.gz gwml_0.17.0.3-1_i386.deb to dists/woody/main/binary-i386/x11/gwml_0.17.0.3-1.deb libxlib-ocaml_0.17.0.3-1_i386.deb to dists/woody/main/binary-i386/libs/libxlib-ocaml_0.17.0.3-1.deb efuns_0.17.0.3-1.dsc to dists/woody/main/source/editors/efuns_0.17.0.3-1.dsc efuns_0.17.0.3-1_i386.deb to dists/woody/main/binary-i386/editors/efuns_0.17.0.3-1.deb -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.6 Date: Wed, 7 Jun 2000 21:35:09 -0700 Source: efuns Binary: gwml libxlib-ocaml efuns Architecture: source i386 Version: 0.17.0.3-1 Distribution: unstable Urgency: low Maintainer: Brent A. Fulgham <bfulgham@debian.org> Description: efuns - Emacs Clone (In OCAML) gwml - OCaml-Enabled Window Manager libxlib-ocaml - X11 Toolkit for OCaml Changes: efuns (0.17.0.3-1) unstable; urgency=low . * Initial Release. * Known problems: - Efuns sometimes doesn't exit when you select "Exit" - GwML sometimes doesn't close windows when you select the "close" button. - GwML doesn't register themes when you first select them. Instead, you must "Save Options", then exit GwML and restart X. This will force a re-read of the configuration. Upstream author will have a fix shortly. - GwML will indicate a "Failure" when decorating the windows. This error is bad (i.e., it does not indicate a Failure) Files: 72022c5b1ccc10bedbe19ad4c6520d44 624 editors optional efuns_0.17.0.3-1.dsc e611fb77ae2201f7a304ff407de24958 4407093 editors optional efuns_0.17.0.3.orig.tar.gz 1afdabc5790eebd4439ea41c532e29c7 14699 editors optional efuns_0.17.0.3-1.diff.gz 28527b76b73f9b6c71f2fef012ecba1c 1779420 editors optional efuns_0.17.0.3-1_i386.deb 8beddf254b7551c11fa91d159d9b7555 2817678 devel optional libxlib-ocaml_0.17.0.3-1_i386.deb cebf03c8f1d98f9d342d0cd8c1dd1d6d 2669144 x11 optional gwml_0.17.0.3-1_i386.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.0.1 (GNU/Linux) Comment: For info see http://www.gnupg.org iD8DBQE5XXI3M6z0/jx+184RAhH3AKCmU8GbPTSbdi/ORw0zSAWPTXtlewCfcQvx d2lo4j7gAfKfjHpAybbJKg0= =Y7Fe -----END PGP SIGNATURE-----