[Bug 267705] Re: Main Inclusion Request: facile
** Changed in: facile (Debian) Status: Fix Committed => Fix Released -- Main Inclusion Request: facile https://bugs.launchpad.net/bugs/267705 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
[Bug 267705] Re: Main Inclusion Request: facile
Promoted to main. ** Changed in: facile (Ubuntu) Status: In Progress => Fix Released -- Main Inclusion Request: facile https://bugs.launchpad.net/bugs/267705 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
[Bug 267705] Re: Main Inclusion Request: facile
** Changed in: facile (Debian) Status: New => Fix Committed -- Main Inclusion Request: facile https://bugs.launchpad.net/bugs/267705 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
[Bug 267705] Re: Main Inclusion Request: facile
Martin just accepted an updated version of the package to the archive; acked. ** Changed in: facile (Ubuntu) Status: New => In Progress -- Main Inclusion Request: facile https://bugs.launchpad.net/bugs/267705 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
[Bug 267705] Re: Main Inclusion Request: facile
Loic, please upload your debdiff, and give your formal "ok" once you are happy with the package (set the ubuntu task to "in progress"). Thank you! -- Main Inclusion Request: facile https://bugs.launchpad.net/bugs/267705 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
[Bug 267705] Re: Main Inclusion Request: facile
** Changed in: facile (Debian) Status: Unknown => New -- Main Inclusion Request: facile https://bugs.launchpad.net/bugs/267705 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
[Bug 267705] Re: Main Inclusion Request: facile
thanks for your work on this, Loïc :) -- Main Inclusion Request: facile https://bugs.launchpad.net/bugs/267705 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
[Bug 267705] Re: Main Inclusion Request: facile
I've sent the attached debdiff to Debian; if getting this package is critical for intrepid, I could upload the debdiff to intrepid. ** Attachment added: "Misc packaging fixes (debdiff for Debian's facile)" http://launchpadlibrarian.net/18123233/facile_1.1-6.2.debdiff ** Bug watch added: Debian Bug tracker #500830 http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=500830 ** Also affects: facile (Debian) via http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=500830 Importance: Unknown Status: Unknown -- Main Inclusion Request: facile https://bugs.launchpad.net/bugs/267705 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
[Bug 267705] Re: Main Inclusion Request: facile
Ah sorry about the comment on maintainer-mode; upstream isn't using autotools at all. I'm not sure the autotools class is the best one in this case; makefile might make more sense. The only thing configure does is write FACILEDIR to config_Makefile which is already cleaned up in rules! -- Main Inclusion Request: facile https://bugs.launchpad.net/bugs/267705 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
[Bug 267705] Re: Main Inclusion Request: facile
Pure logic library; I don't know OCaml, but the upstream source looks reasonably risk-free from a security pov. The packaging isn't terribly nice; e.g: DEB_CONFIGURE_INVOKE:=$(filter-out $(exclude),$(DEB_CONFIGURE_INVOKE)) could probably be replaced with: DEB_CONFIGURE_EXTRA_ARGS += --enable-maintainer-mode dpatch is handled manually instead of using some make / cdbs include. I don't think this is ever cleaned, so debian/libfacile-ocaml-dev.dirs remains in the tree: sed -e 's%#OcamlABI#%$(OCAMLABI)%' debian/libfacile-ocaml-dev.dirs.in >debian/libfacile-ocaml-dev.dirs make clean should be $(MAKE) clean copyright doesn't point at common-licenses. -- Main Inclusion Request: facile https://bugs.launchpad.net/bugs/267705 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
