[Bug 384758] Re: [ftbfs] matita0.5.7-2 fails to build for i386 in karmic

2009-12-02 Thread Bug Watch Updater
** Changed in: matita (Debian) Status: New = Fix Released -- [ftbfs] matita0.5.7-2 fails to build for i386 in karmic https://bugs.launchpad.net/bugs/384758 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing

[Bug 384758] Re: [ftbfs] matita0.5.7-2 fails to build for i386 in karmic

2009-11-28 Thread Bug Watch Updater
** Changed in: matita (Debian) Status: Fix Committed = New -- [ftbfs] matita0.5.7-2 fails to build for i386 in karmic https://bugs.launchpad.net/bugs/384758 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing

[Bug 384758] Re: [ftbfs] matita0.5.7-2 fails to build for i386 in karmic

2009-10-07 Thread Bug Watch Updater
** Changed in: matita (Debian) Status: New = Fix Committed -- [ftbfs] matita0.5.7-2 fails to build for i386 in karmic https://bugs.launchpad.net/bugs/384758 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing

[Bug 384758] Re: [ftbfs] matita0.5.7-2 fails to build for i386 in karmic

2009-08-02 Thread Andrea Veri
removing u-u-s. No sponsorship seems to be needed. -- [ftbfs] matita0.5.7-2 fails to build for i386 in karmic https://bugs.launchpad.net/bugs/384758 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list

[Bug 384758] Re: [ftbfs] matita0.5.7-2 fails to build for i386 in karmic

2009-07-21 Thread Launchpad Bug Tracker
** Branch linked: lp:ubuntu/karmic/matita -- [ftbfs] matita0.5.7-2 fails to build for i386 in karmic https://bugs.launchpad.net/bugs/384758 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list

[Bug 384758] Re: [ftbfs] matita0.5.7-2 fails to build for i386 in karmic

2009-06-10 Thread Launchpad Bug Tracker
This bug was fixed in the package matita - 0.5.7-2ubuntu1 --- matita (0.5.7-2ubuntu1) karmic; urgency=low * Fix FTBFS: (LP: #384758) - debian/patches/nonet.dpatch: use --nonet calling xsltproc to generate docs - debian/control: added build-dependency to

[Bug 384758] Re: [ftbfs] matita0.5.7-2 fails to build for i386 in karmic

2009-06-09 Thread Bug Watch Updater
** Changed in: matita (Debian) Status: Unknown = New -- [ftbfs] matita0.5.7-2 fails to build for i386 in karmic https://bugs.launchpad.net/bugs/384758 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list

[Bug 384758] Re: [ftbfs] matita0.5.7-2 fails to build for i386 in karmic

2009-06-09 Thread Andrea Gasparini
Attaching a debdiff that should fix the ftbfs. Here's a builg log in karmic environment: https://edge.launchpad.net/~gaspa/+archive/ppa/+build/1067361/+files/buildlog_ubuntu-karmic-i386.matita_0.5.7-2~ppa6_FULLYBUILT.txt.gz ** Attachment added: matita_0.5.7-2ubuntu1.debdiff

[Bug 384758] Re: [ftbfs] matita0.5.7-2 fails to build for i386 in karmic

2009-06-09 Thread Morten Kjeldgaard
I still get FTBFS on the patched package. The build fails with a very strange error: matitac demo/power_derivative.maOK 0m08.60s 0m04.79s 0m00.05s mv: cannot move

[Bug 384758] Re: [ftbfs] matita0.5.7-2 fails to build for i386 in karmic

2009-06-09 Thread Andrea Gasparini
what? Yep, really weird... what kind of builder are you using?! Imho is more probably an issue of your builder, than the package... could you try with another one? perhaps somelike like pbuilder more than just ppa, given that I tried the latter. -- [ftbfs] matita0.5.7-2 fails to build for i386