This package has been removed from the archive in Lucid and subsequently
I am setting this bug's status to Won't Fix. Please submit any bugs
about other packages that you may experience in the future.
** Changed in: mosml (Ubuntu)
Status: Confirmed => Won't Fix
--
extend mosml package to
It doesn't look like any activity has occured on this bug and so the bug
still remains in interepid.
$ mosml
Moscow ML version 2.01 (January 2004)
Enter `quit();' to quit.
- load "Gdimage";
! Uncaught exception:
! Fail "libmgd.so: cannot open shared object file: No such file or directory
while
** Changed in: mosml (Ubuntu)
Status: New => Confirmed
--
extend mosml package to include optional libraries (patch included)
https://bugs.launchpad.net/bugs/78367
You received this bug notification because you are a member of Ubuntu
Bugs, which is the bug contact for Ubuntu.
--
ubuntu-b
I've tested the patched version builds under Gutsy.
** Tags added: packaging
--
extend mosml package to include optional libraries (patch included)
https://bugs.launchpad.net/bugs/78367
You received this bug notification because you are a member of Ubuntu
Bugs, which is the bug contact for Ubunt
** Changed in: mosml (Ubuntu)
Importance: Undecided => Wishlist
--
extend mosml package to include optional libraries (patch included)
https://bugs.launchpad.net/bugs/78367
You received this bug notification because you are a member of Ubuntu
Bugs, which is the bug contact for Ubuntu.
--
ubu
I have made a new version of the patch - now it actually works.
** Attachment added: "Updated patch for optional libraries"
http://librarian.launchpad.net/5649761/mosml-ubuntu.diff
--
extend mosml package to include optional libraries (patch included)
https://launchpad.net/bugs/78367
--
ubu
Here is the above mentioned patch.
** Attachment added: "Patch to make packages for optional libraries"
http://librarian.launchpad.net/5625423/mosml-ubuntu.diff
** Description changed:
Binary package hint: mosml
- It would be nice if the mosml packaging included the possibility to instal
