Bug#1017815: RFS: rumur/2022.08.20-1 [RC] -- model checker for the Murphi language

2022-08-20 Thread Matthew Fernandez
Package: sponsorship-requests Severity: important Dear mentors, I am looking for a sponsor for my package "rumur": * Package name : rumur Version : 2022.08.20-1 Upstream Author : Matthew Fernandez * URL : https://github.com/Smattr/rumur * License : Unlicense * Vcs : https://github.com/Smattr/r

Bug#983146: 983146 RFS: bung/3.2.6-3 [ITP] -- backup next generation

2022-08-20 Thread Bastian Germann
Am 20.08.22 um 04:39 schrieb Charles: Regards "You should then export and install the .htm as documentation automatically", when and where do you want that automation to happen? During the package build with libreoffice-common as Build-Dependency.

Bug#1002295: Uploaded the files

2022-08-20 Thread Tobias Frost
On Tue, Aug 02, 2022 at 08:12:11PM +, Scorpion2185 wrote: > Hi Tobias, > > Thanks for your review. > > - the watch file is still broken [1] > - upstream seems not to do releases, where did you get the 0.2.0 version > > I asked upstream about the release number. > And on the github page you

An invitation to visit Fitbit Community

2022-08-20 Thread agwgwg
agwgwg (qvg993...@foxmail.com) at Fitbit Community thinks this is fascinating, helpful, interesting, useful, infuriating, thought-provoking, or just downright cool. We hope you will visit Fitbit Community and check it out for yourself. https://community.fitbit.com/t5/Windows-10-App/I-can-t-see-