Bug#948752: RFS: rumur/2020.01.11-1 -- model checker for the Murphi language

2020-01-14 Thread Matthew Fernandez
> On Jan 14, 2020, at 08:00, Matthew Fernandez > wrote: > >> >> On Jan 13, 2020, at 19:44, Adam Borowski wrote: >> >> On Mon, Jan 13, 2020 at 06:24:32PM -0800, Matthew Fernandez wrote: > * Package name: rumur > Version : 2020.01.11-1 >> >>> OK I think I’ve corrected thi

Bug#948263: Close #925442 ibus-table-myanmar update

2020-01-14 Thread Ko Ko Ye`
* Debian Upstream for fix (Close: #939173)also fix - debhelper-compat (= 12) - Standards-Version: 4.4.1 - Rules-Requires-Root: no - Maintainer: Debian Input Method Team - version to ibus-table-myanmar (0.0-1~exp1) unstable; urgency=medium - Dummy Version to Meta Packages [1] https://men

Bug#948927: marked as done (RFS: dafny/2.3.0+dfsg-0.1 -- programming language with program correctness verifier [NMU, RC])

2020-01-14 Thread Debian Bug Tracking System
Your message dated Tue, 14 Jan 2020 21:52:39 -0500 with message-id <87d0bl1le0.fsf@paluero> and subject line Re: Bug#948927: RFS: dafny -- programming language with program correctness verifier [NMU, RC] has caused the Debian Bug report #948927, regarding RFS: dafny/2.3.0+dfsg-0.1 -- programming l

Bug#948934: RFS: budgie-extras/0.90.0-1

2020-01-14 Thread David Mohammed
Package: sponsorship-requests Severity: normal Beta 2 is now available. I'm still keen for the good debian folk to get involved please. I have uploaded to mentors: the revised request is as follows: Dear mentors, I am looking for a sponsor for my package "budgie-extras" * Package name: b

Re: Using root privileges to build a package

2020-01-14 Thread Leopold Palomo-Avellaneda
El 14/1/20 a les 12:53, Andrey Rahmatullin ha escrit: > On Tue, Jan 14, 2020 at 12:14:50PM +0100, Leopold Palomo-Avellaneda wrote: >>> Sorry, are you saying you think it's fine for a package build process to >>> modify the build host system? >> >> just to install some files and yes, I understand th

Bug#948927: RFS: dafny -- programming language with program correctness verifier [NMU, RC]

2020-01-14 Thread Fabian Wolff
Package: sponsorship-requests Severity: normal X-Debbugs-CC: bba...@mit.edu, sergi...@debian.org Dear mentors, I am looking for a sponsor for an upload of the 'dafny' package. There have been new upstream releases, I have fixed the two open RC bugs for this package, enabled autopkgtest package t

Re: Bug#925629: aghermann: ftbfs with GCC-9

2020-01-14 Thread andrei zavada
> what is the canonical upstream source for this project? It would be https://gitlab.com/hmmr/aghermann. I'll amend the links on my page shortly. On Tue, 14 Jan 2020 at 17:51, Matthew Fernandez wrote: > > Thanks for being clear, Andrei. And thanks for your work building and > maintaining this pa

Bug#948752: RFS: rumur/2020.01.11-1 -- model checker for the Murphi language

2020-01-14 Thread Matthew Fernandez
> On Jan 13, 2020, at 19:44, Adam Borowski wrote: > > On Mon, Jan 13, 2020 at 06:24:32PM -0800, Matthew Fernandez wrote: * Package name: rumur Version : 2020.01.11-1 > >> OK I think I’ve corrected this now. Adam (or any other brave soul), do >> you have a chance to hav

Re: Bug#925629: aghermann: ftbfs with GCC-9

2020-01-14 Thread Matthew Fernandez
Thanks for being clear, Andrei. And thanks for your work building and maintaining this package. I jumped into this thread knowing nothing about this package but merely recognizing a compiler error. Now that I look up what it does, I don’t have the necessary background to fully understand its fu

Re: Using root privileges to build a package

2020-01-14 Thread Christian Kastner
On 14.01.20 12:14, Leopold Palomo-Avellaneda wrote: > El 14/1/20 a les 10:54, Andrey Rahmatullin ha escrit: >> Sorry, are you saying you think it's fine for a package build process to >> modify the build host system? > > just to install some files and yes, I understand that it shouldn't. It's not

Re: Using root privileges to build a package

2020-01-14 Thread Andrey Rahmatullin
On Tue, Jan 14, 2020 at 12:14:50PM +0100, Leopold Palomo-Avellaneda wrote: > > Sorry, are you saying you think it's fine for a package build process to > > modify the build host system? > > just to install some files and yes, I understand that it shouldn't. "just to install some files to /usr" is

Re: Using root privileges to build a package

2020-01-14 Thread Leopold Palomo-Avellaneda
El 14/1/20 a les 10:54, Andrey Rahmatullin ha escrit: > On Tue, Jan 14, 2020 at 10:45:02AM +0100, Leopold Palomo-Avellaneda wrote: I'm working with a package (octomap) that is composed by two libraries depending on another one built in the same package. The question is that to b

Bug#948261: marked as done (RFS: fonts-myanmar/0.0-1~exp1 -- Myanmar fonts collection)

2020-01-14 Thread Debian Bug Tracking System
Your message dated Tue, 14 Jan 2020 12:36:01 +0200 with message-id <88575ce1-1f2c-836e-670f-7706ff3e4...@aims.ac.za> and subject line Re: Bug#948261: review has caused the Debian Bug report #948261, regarding RFS: fonts-myanmar/0.0-1~exp1 -- Myanmar fonts collection to be marked as done. This mean

Bug#948261: review

2020-01-14 Thread Ko Ko Ye`
Thank you. sorry for my mistake. debian/control:51:Depends: fonts-myanmar-pyidaungsu, fonts-myanmar-myanmar3, fonts-myanmar-myanmarcensus, ${misc:Depends} finish. [1] https://mentors.debian.net/debian/pool/main/f/fonts-myanmar/fonts-myanmar_0.0-1~exp1.dsc [2] https://mentors.debian.net//package/

Bug#948261: review

2020-01-14 Thread Kyle Robbertze
On 2020/01/14 11:28, Ko Ko Ye` wrote: fix and upload is done fonts-myanmar (0.0-1~exp1) unstable; urgency=medium   * Initial release (Closes: #899260)  -- kokoye2007 mailto:kokoye2...@gmail.com>>  Mon, 13 Jan 2020 21:00:22 +0630 Final thing - please change the Recommends: line in the

Re: Using root privileges to build a package

2020-01-14 Thread Andrey Rahmatullin
On Tue, Jan 14, 2020 at 10:45:02AM +0100, Leopold Palomo-Avellaneda wrote: > >> I'm working with a package (octomap) that is composed by two libraries > >> depending on another one built in the same package. > >> > >> The question is that to build that two libraries correctly firstly the > >> libr

Re: Using root privileges to build a package

2020-01-14 Thread Leopold Palomo-Avellaneda
El 14/1/20 a les 9:55, Andrey Rahmatullin ha escrit: > On Tue, Jan 14, 2020 at 09:25:17AM +0100, Leopold Palomo-Avellaneda wrote: >> I'm working with a package (octomap) that is composed by two libraries >> depending on another one built in the same package. >> >> The question is that to build that

Bug#948261: review

2020-01-14 Thread Ko Ko Ye`
fix and upload is done fonts-myanmar (0.0-1~exp1) unstable; urgency=medium * Initial release (Closes: #899260) -- kokoye2007 Mon, 13 Jan 2020 21:00:22 +0630 dcs is ready [1] https://mentors.debian.net/debian/pool/main/f/fonts-myanmar/fonts-myanmar_0.0-1~exp1.dsc with regards On Tue, J

Bug#948261: review

2020-01-14 Thread Kyle Robbertze
On 2020/01/14 10:44, Ko Ko Ye` wrote: Noted with thanks. Its finished now. Please remove the second changelog entry (the one from Fri, 08 Mar 2019 21:30:04 +0630) Cheers Kyle -- ⢀⣴⠾⠻⢶⣦⠀ ⣾⠁⢠⠒⠀⣿⡁ Kyle Robbertze ⢿⡄⠘⠷⠚⠋⠀ Debian Developer ⠈⠳⣄ https://wiki.debian.org/KyleRobbertze

Re: Using root privileges to build a package

2020-01-14 Thread Andrey Rahmatullin
On Tue, Jan 14, 2020 at 09:25:17AM +0100, Leopold Palomo-Avellaneda wrote: > I'm working with a package (octomap) that is composed by two libraries > depending on another one built in the same package. > > The question is that to build that two libraries correctly firstly the library > that they d

Bug#948261: review

2020-01-14 Thread Ko Ko Ye`
Noted with thanks. Its finished now. [1] https://mentors.debian.net/debian/pool/main/f/fonts-myanmar/fonts-myanmar_0.0-1~exp1.dsc On Tue, Jan 14, 2020 at 2:57 PM Kyle Robbertze wrote: > On 2020/01/13 16:59, Ko Ko Ye` wrote: > > fonts-myanmar_0.0-1~exp1[1] is ready on mentor [2] > > > > * F

Using root privileges to build a package

2020-01-14 Thread Leopold Palomo-Avellaneda
Hi, I'm working with a package (octomap) that is composed by two libraries depending on another one built in the same package. The question is that to build that two libraries correctly firstly the library that they depend must be build and _installed_. It's the _only_ way that I have found with

Bug#939886: marked as done (RFS: pacvim/1.1.1-1~exp1 -- pacman game concept with vim command)

2020-01-14 Thread Debian Bug Tracking System
Your message dated Tue, 14 Jan 2020 10:17:36 +0200 with message-id <816970b7-fb58-f764-5212-13e962178...@debian.org> and subject line Re: Bug#939886: review has caused the Debian Bug report #939886, regarding RFS: pacvim/1.1.1-1~exp1 -- pacman game concept with vim command to be marked as done. Th

Bug#948261: review

2020-01-14 Thread Kyle Robbertze
On 2020/01/13 16:59, Ko Ko Ye` wrote: fonts-myanmar_0.0-1~exp1[1] is ready on mentor [2] * First Update for Upstream * ITP: fonts-myanmar (Close: #899260) * ITP: ITP: ttf-myanmar-fonts (Close: #896887) This changelog should only read: * Initial release (Closes: #899260) Also the