[Demexp-dev] Re: Testing latest CDuce
Hello, David MENTRE wrote: Can you leave somewhere the old cduce package so I can roll back my cduce version to 0.3.2? CDuce 0.3.2 is available in sarge, etch and sid on all official mirrors, so it shouldn't be much of a trouble to roll back to this version ;-) Sincerly, Thomas -- Thomas Petazzoni [EMAIL PROTECTED] ___ Demexp-dev mailing list Demexp-dev@nongnu.org http://lists.nongnu.org/mailman/listinfo/demexp-dev
[Demexp-dev] Re: Testing latest CDuce
Thomas Petazzoni [EMAIL PROTECTED] writes: CDuce 0.3.2 is available in sarge, etch and sid on all official mirrors, so it shouldn't be much of a trouble to roll back to this version ;-) Ok, thanks. I forgot that. Yours, d. -- pub 1024D/A3AD7A2A 2004-10-03 David MENTRE [EMAIL PROTECTED] 5996 CC46 4612 9CA4 3562 D7AC 6C67 9E96 A3AD 7A2A ___ Demexp-dev mailing list Demexp-dev@nongnu.org http://lists.nongnu.org/mailman/listinfo/demexp-dev
[Demexp-dev] Re: [cduce-users] Problem while using cduce --mlstub
Hello, Alain Frisch wrote: I guess the problem comes from different behaviors between shells (they can put whatever they want in argv[0]). The next version of CDuce will get rid of the external tool. Okay, thanks. Will the other external tool mlcduce_wrapper disappear in next version ? Currently, CDuce intalls these externals tools in /usr/bin, but Debian policy doesn't like undocumented binaries in /usr/bin. Debian wants either man-documented binaries in /usr/bin, or private undocumented tools in /usr/lib/packagename/. To correctly package the current version of the CDuce, I would have to hack it to that I can move cdo2ml and mlcduce_wrapper to /usr/lib/cduce/. So, if these tools are going to disappear soon, I think I'll wait for the next version ;-) Sincerly, Thomas -- Thomas Petazzoni [EMAIL PROTECTED] ___ Demexp-dev mailing list Demexp-dev@nongnu.org http://lists.nongnu.org/mailman/listinfo/demexp-dev