Accepted optlang 1.4.0-1 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sat, 24 Mar 2018 14:59:06 -0400 Source: optlang Binary: python-optlang python3-optlang Architecture: source Version: 1.4.0-1 Distribution: unstable Urgency: medium Maintainer: Debian Science Maintainers Changed-By: Afif Elghraoui

Accepted swiglpk 1.4.4-2 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Tue, 06 Feb 2018 18:16:58 -0500 Source: swiglpk Binary: python-swiglpk python3-swiglpk Architecture: source Version: 1.4.4-2 Distribution: unstable Urgency: low Maintainer: Debian Science Maintainers Changed-By: Afif Elghraoui

Bug#823379: Found Maintainer for Elmer

TP at a later time) > The last I heard, he had joined the Debian Science alioth group, but I didn't follow-up either. Afif -- Afif Elghraoui | عفيف الغراوي http://afif.ghraoui.name -- debian-science-maintainers mailing list debian-science-maintainers@lists.alioth.debian.org http://lists.

Bug#855600: src:nlopt: Please provide binary package for cxx library

Hi, Sergey, على السبت 8 تـمـوز 2017 ‫07:11، كتب Sergey B Kirpichev: > On Mon, 20 Feb 2017 22:03:19 -0800 Afif Elghraoui wrote: >> Anyway, I see the packaging is still in SVN. I'll switch it to Git and >> prepare a team upload. > Please ask first other co-maintainers! >

Re: Processed: downgrading as those never built on i386

> Bug #860631 [src:pbbarcode] pbbarcode: FTBFS on i386: unsatisfiable > build-dependencies: python-pbcore, pbh5tools [...] > Stopping processing here. > > Please contact me if you need assistance. > -- Afif Elghraoui | عفيف الغراوي http://afif.ghraoui.name -- d

Bug#855600: src:nlopt: Please provide binary package for cxx library

على الإثنين 20 شباط 2017 ‫08:39، كتب Afif Elghraoui: > the compiled > library only works for C++. We need separate packages for the C++ library. correction: ^^^ C Anyway, I see the packaging is still in SVN. I'll switch it to Git and prepare a team upload. regards Afi

Bug#855600: src:nlopt: Please provide binary package for cxx library

Package: src:nlopt Version: 2.4.2+dfsg-2 Severity: wishlist Control: block 855597 by -1 Hello, I'm looking to package phyx, but it depends on the C++ version of the nlopt library. While libnlopt-dev provides both the C and the C++ headers, the compiled library only works for C++. We need separat

Bug#826042: Spyder crashes on start

terested. Thanks and regards Afif -- Afif Elghraoui | عفيف الغراوي http://afif.ghraoui.name -- debian-science-maintainers mailing list debian-science-maintainers@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/debian-science-maintainers

Re: Elmer version

ich can sometimes provide newer packages than Ubuntu. Many thanks and regards Afif 1. https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=823379 -- Afif Elghraoui | عفيف الغراوي http://afif.ghraoui.name -- debian-science-maintainers mailing list debian-science-maintainers@lists.alioth.debia

Re: Bug#814680: RFS: stp/2.1.2+dfsg-1 [ITP] -- Simple theorem prover

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Hi, Marko, On الأحد 6 آذار 2016 14:53, Marko Dimjašević wrote: > > On Fri, 2016-02-26 at 17:42 -0800, Afif Elghraoui wrote: >> Something like the following: >> [...] > Thank you Afif for this! > No problem. > I am

Re: Bug#814680: RFS: stp/2.1.2+dfsg-1 [ITP] -- Simple theorem prover

https://github.com/stp/stp/tags \ (?:.*/)?v?(\d[\d\.]*)\.tar\.gz \ debian opts="dversionmangle=s/\+dfsg\d*$//,component=outputcheck" \ https://github.com/stp/OutputCheck/tags \ (?:.*/)?v?(\d[\d\.]*)\.tar\.gz \ ignore uupdate regards Afif -- Afif Elghraoui | عفيف الغراوي h

Re: Bug#814680: RFS: stp/2.1.2+dfsg-1 [ITP] -- Simple theorem prover

es Debian contributors really do have their packaging VCS hosted on github. regards Afif 1. https://debian-handbook.info/browse/stable/sect.source-package-structure.html (see the box "Different source package formats") 2. https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=561071 -- Afif Elghraoui | عفيف الغراوي http://afif.ghraoui.name -- debian-science-maintainers mailing list debian-science-maintainers@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/debian-science-maintainers

Re: Bug#814680: RFS: stp/2.1.2+dfsg-1 [ITP] -- Simple theorem prover

build. Most such problems can be found by running lintian, but we first need the package to build in a minimal environment. regards Afif -- Afif Elghraoui | عفيف الغراوي http://afif.ghraoui.name -- debian-science-maintainers mailing list debian-science-maintainers@lists.alioth.debian.org http

RFP: python-cylp (initial packaging available)

hon3-packaging), but obviously, Python2 packaging needs to be working first. Many thanks and regards Afif 1. http://bugs.debian.org/795619 -- Afif Elghraoui | عفيف الغراوي http://afif.ghraoui.name -- debian-science-maintainers mailing list debian-science-maintainers@lists.alioth.debian.org