Re: Adding SONAME to a shared object in KLEE

2016-02-11 Thread Marko Dimjašević
Hi everyone, On Thu, 2016-02-11 at 15:25 +, Gianfranco Costamagna wrote: > klee lacks of libncurses5-dev Thanks for pointing this out! > python-tabulate not available on jessie I am aware of that. It is available in jessie-backports. This will be taken care of automagically once I start bu

Re: RFC: Packaging a toolchain for CloudABI, a new architecture/runtime

2016-02-11 Thread Paul Wise
On Thu, Feb 11, 2016 at 7:57 AM, Alex Willmer wrote: > 1. Are there specific rules/procedures regarding adding an entry to > the ostable & tripletable files used by dpkg-architecture? Or is it > just another patch submission? Probably just a patch submission, but check the dpkg team wiki pages:

Re: Comp Code Net Web Server - Interested in Adding as a Debian Package

2016-02-11 Thread Gregory McPherran
OK thank you Don! On Feb 11, 2016 2:20 PM, Don Armstrong wrote: > > On Thu, 11 Feb 2016, Greg McPherran wrote: > > The Comp Code Net Web Server is a complete web server coded in C++ and > > compiled and tested on Debian Jessie. Our web site > > http://www.CompCodeNet.com runs on the web server

Re: debian/control: Multi-Arch: no

2016-02-11 Thread hpfn
Hi, Thanks for replying. regards, -- Herbert Parentes Fortes Neto (hpfn)

Re: debian/control: Multi-Arch: no

2016-02-11 Thread Jakub Wilk
* Herbert Fortes , 2016-02-11, 11:20: The script (cdk5-config) seems to be used by one package[0]. I've already sent a bugreport to the maintainer. [0] - https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=813914 I don't believe libcdk-perl uses cdk5-config at the moment. In the build log[1] I

Re: debian/control: Multi-Arch: no

2016-02-11 Thread Jakub Wilk
* Johannes Schauer , 2016-02-11, 16:24: libcdk5-dev was rejected by ftp-masters because it has 'Multi-Arch: no' on debian/control. You could just omit the field, no need to use the explicit "no". While this is correct, I don't see what should be wrong with explicitly stating the default. It cou

Bug#814456: RFS: pam-ufpidentity/1.0-debian2~unstable [ITP] -- UFP Identity PAM Module

2016-02-11 Thread Richard Levenberg
Package: sponsorship-requests Severity: wishlist Dear mentors, I am looking for a sponsor for my package "pam-ufpidentity" * Package name: pam-ufpidentity Version : 1.0-debian2~unstable Upstream Author : Richard Levenberg * URL : https://github.com/ufpident

Bug#813947: marked as done (RFS: zsh-syntax-highlighting/0.4.1-1)

2016-02-11 Thread Debian Bug Tracking System
Your message dated Thu, 11 Feb 2016 17:59:48 + with message-id <20160211175948.gb27...@chase.mapreri.org> and subject line Re: Bug#813947: RFS: zsh-syntax-highlighting/0.4.1-1 has caused the Debian Bug report #813947, regarding RFS: zsh-syntax-highlighting/0.4.1-1 to be marked as done. This me

Bug#814452: RFS: printrun/1:0~20150310-1 [ITP] -- 3D printing host suite

2016-02-11 Thread Rock Storm
Package: sponsorship-requests Severity: normal Dear mentors, I am looking for a sponsor for my package "printrun"  * Package name: printrun    Version : 1:0~20150310-1    Upstream Author : Kliment Yanev  * URL : https://github.com/kliment/Printrun  * License : GPL

Re: Comp Code Net Web Server - Interested in Adding as a Debian Package

2016-02-11 Thread Mattia Rizzolo
On Thu, Feb 11, 2016 at 12:22:55AM -0500, Greg McPherran wrote: > Hello, Hello! debian-ctte is really much not the right place for this, Wookie bounced the email in d-mentors, where is way more appropriate. > The Comp Code Net Web Server is a complete web server coded in C++ and > compiled and

Re: Adding SONAME to a shared object in KLEE

2016-02-11 Thread Gianfranco Costamagna
klee lacks of libncurses5-dev python-tabulate not available on jessie anyhow. Makefile.rules, around line 1116 (patched) LibName.so target: - $(Verb) $(Link) $(SharedLinkOptions) -o $@ $(ObjectsO) \ + $(Verb) $(Link) $(SharedLinkOptions) -Wl,-soname,$@.so.1 -o $@.so.1 $(ObjectsO) \

Re: debian/control: Multi-Arch: no

2016-02-11 Thread Johannes Schauer
Hi, Quoting Andrey Rahmatullin (2016-02-11 15:16:01) > On Thu, Feb 11, 2016 at 11:20:14AM -0200, Herbert Fortes wrote: > > libcdk5-dev was rejected by ftp-masters because > > it has 'Multi-Arch: no' on debian/control. > You could just omit the field, no need to use the explicit "no". While this i

Re: debian/control: Multi-Arch: no

2016-02-11 Thread Andrey Rahmatullin
On Thu, Feb 11, 2016 at 11:20:14AM -0200, Herbert Fortes wrote: > libcdk5-dev was rejected by ftp-masters because > it has 'Multi-Arch: no' on debian/control. You could just omit the field, no need to use the explicit "no". > "Multi-Arch: no support in Debian is broken (#768353)" > > https://bugs

Re: debian/control: Multi-Arch: no

2016-02-11 Thread Bas Couwenberg
On 2016-02-11 14:20, Herbert Fortes wrote: What should I do next ? This issue was discussed on -devel last month, see: https://lists.debian.org/debian-devel/2016/01/msg00688.html You shouldn't use Multi-Arch: no, and instead override the erroneous lintian tag if your -dev package is not Mul

debian/control: Multi-Arch: no

2016-02-11 Thread hpfn
Hi, libcdk5-dev was rejected by ftp-masters because it has 'Multi-Arch: no' on debian/control. "Multi-Arch: no support in Debian is broken (#768353)" https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=768353 I followed lintian's info: https://lintian.debian.org/tags/old-style-config-script.html

Re: RFS: snetmanmon, a simple network manager and monitor

2016-02-11 Thread Gianfranco Costamagna
Hi, >snetmanmon works perfectly without any configuration file in /etc. As >long as >you don't want that snetmanmon executes something with special >privileges, there is no need to use (or install) a system-wide >configuration file. Of course, many stuff in the example configuration >files n

Bug#814388: marked as done (RFS: progress/0.13-1)

2016-02-11 Thread Debian Bug Tracking System
Your message dated Thu, 11 Feb 2016 13:27:22 + (UTC) with message-id <1089672807.4389993.1455197242038.javamail.ya...@mail.yahoo.com> and subject line Re: Bug#814388: RFS: progress/0.13-1 has caused the Debian Bug report #814388, regarding RFS: progress/0.13-1 to be marked as done. This means

Bug#814235: marked as done (RFS: swi-prolog [ITA] -- ISO/Edinburgh-style Prolog interpreter)

2016-02-11 Thread Debian Bug Tracking System
Your message dated Thu, 11 Feb 2016 17:28:29 +0500 with message-id <56bc7e6d.7020...@riseup.net> and subject line has caused the Debian Bug report #814235, regarding RFS: swi-prolog [ITA] -- ISO/Edinburgh-style Prolog interpreter to be marked as done. This means that you claim that the problem ha

Comp Code Net Web Server - Interested in Adding as a Debian Package

2016-02-11 Thread Greg McPherran
Hello, The Comp Code Net Web Server is a complete web server coded in C++ and compiled and tested on Debian Jessie. Our web site http://www.CompCodeNet.com runs on the web server on Debian 8 (Jessie) and the complete source code is on the download section of our web site. Included is a servic