Bug#950124: RFS: rumur/2020.01.27-1 -- model checker for the Murphi language

2020-01-28 Thread Matthew Fernandez
Package: sponsorship-requests Severity: normal Dear mentors, I am looking for a sponsor for my package "rumur" * Package name: rumur Version : 2020.01.27-1 Upstream Author : Matthew Fernandez * URL : https://github.com/Smattr/rumur * License : Unlicense * V

Re: building both monolithic command line program and shared library from single source package, ddcutil

2020-01-28 Thread Sanford Rockowitz
On 1/28/20 8:00 PM, Paul Wise wrote: On Tue, 2020-01-28 at 16:00 -0500, Sanford Rockowitz wrote: GProbe is the proprietary Genesis protocol. Is there a list of proprietary extensions to DDC somewhere? I doubt it.  Since you raised the possibility of manufacturer specific VCP feature codes as

Re: building both monolithic command line program and shared library from single source package, ddcutil

2020-01-28 Thread Paul Wise
On Tue, 2020-01-28 at 16:00 -0500, Sanford Rockowitz wrote: > GProbe is the proprietary Genesis protocol. Is there a list of proprietary extensions to DDC somewhere? I wonder how useful implementations of these would be. For GProbe support for it could be used to start an open source monitor fi

Bug#950120: RFS: udftools/2.2-1 -- tools for UDF filesystems and DVD/CD-R(W) drives

2020-01-28 Thread Pali Rohár
Package: sponsorship-requests Severity: normal Dear mentors, I am looking for a sponsor for my package "udftools" * Package name: udftools Version : 2.2-1 Upstream Author : Pali Rohár * URL : https://github.com/pali/udftools * License : GPL-2+ * Vcs

Bug#949854: RFS: coinor-vol/1.5.4-3 -- Coin-or linear programming solver (libraries)

2020-01-28 Thread Sudip Mukherjee
Hi Adam, On Sun, Jan 26, 2020 at 01:39:00AM +0100, Adam Borowski wrote: > On Sat, Jan 25, 2020 at 11:53:02PM +, Sudip Mukherjee wrote: > > * Package name: coinor-vol > >Version : 1.5.4-3 > > > Changes since the last upload: > > > >* QA upload. > >* Fix relative paths

Re: building both monolithic command line program and shared library from single source package, ddcutil

2020-01-28 Thread Sanford Rockowitz
As I read the MonitorDarkly code, it manipulates the monitor by writing to DDC slave address x37, using operation code xC2.  xC2 is  apparently is the GProbe operation code.   (GProbe is the proprietary Genesis protocol.)  Operation code xC2 is not defined in the DDC spec, so it would never be