Bug#681173: ITP: kyototycoon -- Kyoto Tycoon: a handy cache/storage server
Package: wnpp Severity: wishlist Owner: Shawn Landden * Package name: kyototycoon Version : 0.9.56 Upstream Author : Mikio Hirabayashi * URL : http://fal labs.com/kyototycoon/ * License : GPL-3+ Programming Lang: C++, with lua scripting support Description : Kyoto Tycoon: a handy cache/storage server Kyoto Tycoon is a lightweight database server with auto expiration mechanism, which is useful to handle cache data and persistent data of various applications. Kyoto Tycoon is also a package of network interface to the DBM called Kyoto Cabinet. Though the DBM has high performance and high concurrency, you might bother in case that multiple processes share the same database, or remote processes access the database. Thus, Kyoto Tycoon is provided for concurrent and remote connections to Kyoto Cabinet. Kyoto Tycoon is composed of the server process managing multiple databases and its access library for client applications. The network protocol between the server and clients is HTTP so that you can write client applications and client libraries in almost all popular languages. Both of RESTful-style interface by the GET, HEAD, PUT, DELETE methods and RPC-style inteface by the POST method are supported. The server can handle more than 10 thousand connections at the same time because it uses modern I/O event notification facilities such as "epoll" and "kqueue" of underlying systems. The server supports high availability mechanisms, which are hot backup, update logging, and asynchronous replication. The server can embed Lua, a lightweight script language so that you can define arbitrary operations of the database. The server program of Kyoto Tycoon is written in the C++ language. It is available on platforms which have API conforming to C++03 with the TR1 library extensions. Kyoto Tycoon is a free software licensed under the GNU General Public License. This is ready for upload, with lots taken from the packaging of kyotocabinet. -- To UNSUBSCRIBE, email to debian-wnpp-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/20120711044635.15765.68479.report...@plug.jengr.com
Processed: cellml-api: block ITP 676295 by RFS 681167
Processing commands for cont...@bugs.debian.org: > block 676295 by 681167 Bug #676295 [wnpp] ITP: cellml-api -- The CellML API Reference Implementation lets you manipulate and simulate mathematical models in the CellML modelling language 676295 was not blocked by any bugs. 676295 was not blocking any bugs. Added blocking bug(s) of 676295: 681167 > stop Stopping processing here. Please contact me if you need assistance. -- 676295: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=676295 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems -- To UNSUBSCRIBE, email to debian-wnpp-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/handler.s.c.13419804381646.transcr...@bugs.debian.org
Bug#652745: RFP: razor-qt -- simple qt-based desktop window manager
sorry , u must with more.. hours theres new modules in razorqt, a razorshorcut daemon and a razor opensshj ask pass so i carefully modify the rules and install files in razorqt git hub.. please whait for and hours.. then i send info about packagin, but the info only apllies to debian .. not winbuntu.. in any case u could run the debian script on razorqt sources under the "dist" directory.. On Mon, Jul 9, 2012 at 6:00 PM, PICCORO McKAY Lenz wrote: > i dont like winbuntu.. i send u files in few hours, go to sleep.. tomorrow > u will be my packages. > > > On Mon, Jul 9, 2012 at 5:45 PM, Manuel A. Fernandez Montecelo < > manuel.montez...@gmail.com> wrote: > >> 2012/7/9 PICCORO McKAY Lenz : >> > the problem, i do not have 24/7 intenet conection, and my tools are not >> > network oriented .. >> > >> > here in sarisarinama work in put-paste schema and merge.. like old cvs, >> and >> > no-one can touch thinks that dont own with out permision.. >> > >> > i send u the dsc files for lenny, squeeze for razorqt at 2012-05-24 that >> > work for lenny, for squeze waith for a few hours and i generate the >> > 0.4.99/0.5.0 dsc files due some new components are in git hub. ... >> >> I am going to disconnect and go to bed in a few minutes, so you don't >> need to send anything until tomorrow. >> >> Anyway, I've been looking at the Ubuntu package... do you think that >> it will work for Debian? >> >> >> https://launchpad.net/~razor-qt/+archive/ppa/+sourcepub/2255050/+listing-archive-extra >> >> >> Cheers. >> > > > > -- > Lenz McKAY Gerardo (PICCORO) > http://qgqlochekone.blogspot.com > Cofundador de Venenux; debian based multimedia alike free only zealots > users (oh well, i try but..too many free guidelines buahhh) > http://shutendouji.net > creador de massenkoh linux; debian enhanchements for better up to date > support on stable brand, including non-free soft. > -- Lenz McKAY Gerardo (PICCORO) http://qgqlochekone.blogspot.com Cofundador de Venenux; debian based multimedia alike free only zealots users (oh well, i try but..too many free guidelines buahhh) http://shutendouji.net creador de massenkoh linux; debian enhanchements for better up to date support on stable brand, including non-free soft.
Bug#680954: pynag - looking good, couple of questions
Hi Jakub, Thank you for the review! I built new packages according to your package suggestions and uploaded to http://pall.sigurdsson.is/filez/pynag/ as pynag-0.4.2-2. As for suggestions regarding software rather than just packaging, they are all valid. I will make sure this is fixed upstream. Cheers! Pall On Tue, Jul 10, 2012 at 8:23 PM, Jakub Wilk wrote: > * Clint Byrum , 2012-07-10, 12:33: > > Since pynag is a public python module, the package should be called >> python-pynag. >> > > Right. Please see Python Policy §2.2 for details. > > I had only cursory look at the package and spotted a few more problems: > > Lintian reports: > > W: pynag source: syntax-error-in-dep5-copyright line 8: Duplicate field > copyright. > I: pynag source: debian-watch-file-is-missing > I: pynag: extended-description-is-**probably-too-short > P: pynag: no-homepage-field > > There's a comment in debian/rules: "This file was automatically generated > by stdeb ..." Please remove this boilerplate. > > "X-Python-Version" field is supposed to be a part of the source package > stanza. > > If you use dh_python2, versioned build-dependency on python should be > bumped to ">= 2.6.6-3~". > > The long package description starts and ends with empty lines. This is > odd... > > debian/links is empty. Just remove it. > > usr/share/pyshared/pynag/**Plugins/__init__.py:266 is indented with > spaces, whereas all other lines in this file are indented with tabs. > > In examples/Plugins/check_cpu.py: > > current_load = os.popen("cat %s" % load_file).readline().split()[**0] > > Erm, seriously, spawning cat just to read a file? :) > > In pynag/Model/__init__.py: > > try: > i = Hostgroup.objects.get_by_**shortname(i) > if not i in result: result.append(i) > except: > pass # fail silently if nonexistent hostgroups are defined > > This will swallow e.g. KeyboardInterrupt. In general, except without > specifying exception type is almost always a bug, unless you re-raise the > caught exception later. Please only catch exceptions you expect to be > thrown. > > (There are more cases of "except:" in the pynag codebase.) > > -- > Jakub Wilk > > >
Bug#680954: pynag - looking good, couple of questions
Hi Clint, Naming it python-pynag sounds like a good, consistent idea as long as there is a pynag meta package (the package is called pynag in fedora and upstream cares about naming consistency). I would love to move maintenance to Debian Python Modules Team, especially if they are willing to do the changes mentioned above for me. In this case i will leave the decision of which package /usr/bin/pynag up to the new maintainers. Kind Regards, Pall Sigurdsson On Tue, Jul 10, 2012 at 7:33 PM, Clint Byrum wrote: > Hi Pall. I just found pynag the other day and I am using it to do some > automation of nagios deployment using juju. > > I have been using the package of the last couple hours, and it works > great. > > Since pynag is a public python module, the package should be called > python-pynag. If you want to have a meta-package called 'pynag' that > depends on that, that would be a good idea too, or you could even move > /usr/bin/pynag into its own 'pynag' package and the library would remain > in python-pynag. > > Would you consider passing maintainership over ot the Debian Python > Modules Team? You can remain as an Uploader so your changes will not > be NMU's. By letting the team handle it they can assist with large scale > policy changs and stuff like that. > > Something to consider. If you're ok with maintaining it yourself, thats > fine too. > > So, just the python-pynag issue needs to be resolved, and then I think > this is good to go for sponsoring into Debian. 'testing' is frozen right > now, so it may sit in the NEW queue for a while, but its still worth > uploading to get it into unstable whenever it thaws. > > >
Bug#681162: ITP: scscp -- Symbolic Computation Software Composibility Protocol (SCSCP) library
Package: wnpp Severity: wishlist Owner: Jerome Benoit * Package name: scscp Version : 0.6.4 Upstream Author : Mickael Gastineau * URL : http://www.imcce.fr/trip/scscp * License : (CeCILL-C (close to GNU GPL) or CeCILL v2.0 (compatible with GNU GPL)) Programming Lang: (C, C++) Description : Symbolic Computation Software Composibility Protocol (SCSCP) library This C/C++ library is an implementation of the Symbolic Computation Software Composibility Protocol (SCSCP) and provides an Application Programming Interface (API) to develop client applications to access Computer Algebra Systems (CAS) which support the SCSCP protocol. CAS could use these API to provide services to other applications using this protocol, and vice versa. -- To UNSUBSCRIBE, email to debian-wnpp-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/20120711002447.9028.28745.report...@nen.dnsalias.org
Bug#680954: pynag - looking good, couple of questions
* Clint Byrum , 2012-07-10, 12:33: Since pynag is a public python module, the package should be called python-pynag. Right. Please see Python Policy §2.2 for details. I had only cursory look at the package and spotted a few more problems: Lintian reports: W: pynag source: syntax-error-in-dep5-copyright line 8: Duplicate field copyright. I: pynag source: debian-watch-file-is-missing I: pynag: extended-description-is-probably-too-short P: pynag: no-homepage-field There's a comment in debian/rules: "This file was automatically generated by stdeb ..." Please remove this boilerplate. "X-Python-Version" field is supposed to be a part of the source package stanza. If you use dh_python2, versioned build-dependency on python should be bumped to ">= 2.6.6-3~". The long package description starts and ends with empty lines. This is odd... debian/links is empty. Just remove it. usr/share/pyshared/pynag/Plugins/__init__.py:266 is indented with spaces, whereas all other lines in this file are indented with tabs. In examples/Plugins/check_cpu.py: current_load = os.popen("cat %s" % load_file).readline().split()[0] Erm, seriously, spawning cat just to read a file? :) In pynag/Model/__init__.py: try: i = Hostgroup.objects.get_by_shortname(i) if not i in result: result.append(i) except: pass # fail silently if nonexistent hostgroups are defined This will swallow e.g. KeyboardInterrupt. In general, except without specifying exception type is almost always a bug, unless you re-raise the caught exception later. Please only catch exceptions you expect to be thrown. (There are more cases of "except:" in the pynag codebase.) -- Jakub Wilk -- To UNSUBSCRIBE, email to debian-wnpp-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/20120710202314.ga6...@jwilk.net
Processed (with 1 errors): ITP: cppreference-doc -- C++ standard library reference manual for English language
Processing commands for cont...@bugs.debian.org: > retitle 645513 ITP: cppreference-doc -- C++ standard library reference Bug #645513 [wnpp] ITP: cppreference-doc-en -- C++ standard library reference manual for English language Changed Bug title to 'ITP: cppreference-doc -- C++ standard library reference' from 'ITP: cppreference-doc-en -- C++ standard library reference manual for English language' > manual for English language Unknown command or malformed arguments to command. > stop Stopping processing here. Please contact me if you need assistance. -- 645513: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=645513 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems -- To UNSUBSCRIBE, email to debian-wnpp-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/handler.s.c.134195107227458.transcr...@bugs.debian.org
Processed: tagging as pending bugs that are closed by packages in NEW
Processing commands for cont...@bugs.debian.org: > # Tuesday 10 July 20:03:07 UTC 2012 > # Tagging as pending bugs that are closed by packages in NEW > # http://ftp-master.debian.org/new.html > # > # Source package in NEW: hmmer2 > tags 680539 + pending Bug #680539 [wnpp] ITP: hmmer2 -- profile hidden Markov models for protein sequence analysis (version 2) Added tag(s) pending. > End of message, stopping processing here. Please contact me if you need assistance. -- 680539: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=680539 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems -- To UNSUBSCRIBE, email to debian-wnpp-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/handler.s.c.134195059124843.transcr...@bugs.debian.org
Bug#680954: pynag - looking good, couple of questions
Hi Pall. I just found pynag the other day and I am using it to do some automation of nagios deployment using juju. I have been using the package of the last couple hours, and it works great. Since pynag is a public python module, the package should be called python-pynag. If you want to have a meta-package called 'pynag' that depends on that, that would be a good idea too, or you could even move /usr/bin/pynag into its own 'pynag' package and the library would remain in python-pynag. Would you consider passing maintainership over ot the Debian Python Modules Team? You can remain as an Uploader so your changes will not be NMU's. By letting the team handle it they can assist with large scale policy changs and stuff like that. Something to consider. If you're ok with maintaining it yourself, thats fine too. So, just the python-pynag issue needs to be resolved, and then I think this is good to go for sponsoring into Debian. 'testing' is frozen right now, so it may sit in the NEW queue for a while, but its still worth uploading to get it into unstable whenever it thaws. -- To UNSUBSCRIBE, email to debian-wnpp-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/1341948472-sup-...@fewbar.com
Bug#679236: marked as done (O: ckport -- portability analysis and security checking tool)
Your message dated Tue, 10 Jul 2012 20:49:29 +0200 with message-id <4ffc7939.9040...@debian.org> and subject line Re: Bug#679236: O: ckport -- portability analysis and security checking tool has caused the Debian Bug report #679236, regarding O: ckport -- portability analysis and security checking tool to be marked as done. This means that you claim that the problem has been dealt with. If this is not the case it is now your responsibility to reopen the Bug report if necessary, and/or fix the problem forthwith. (NB: If you are a system administrator and have no idea what this message is talking about, this may indicate a serious mail system misconfiguration somewhere. Please contact ow...@bugs.debian.org immediately.) -- 679236: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=679236 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems --- Begin Message --- Package: wnpp Severity: normal Hereby I orphan the package ckport. The package as made hardy useful by Ron Lee's personal vendetta against me. While not directly related most packages provided data for this package ("ckport database") will be removed or orphaned. As it is not fully useless I only orphan it not asking for RM. The package itself is in good shape. Upstream development is not affected by this. I hope the package will find a new home. I will gladly help a new maintainer as needed. The package description is: ckport is a tool to check already compiled binaries and libraries for porting and security problems. . It uses objdump to read the binaries and analyses calls and jumps to functions. . This package is architecture independent and can be used on non-host architecture binaries if an objdump tool for the target architecture is installed. --- End Message --- --- Begin Message --- Am 06.07.2012 14:49, schrieb Philipp Schafft: > reflum, Closing since I will continue it. -- /* Mit freundlichem Gruß / With kind regards, Patrick Matthäi GNU/Linux Debian Developer E-Mail: pmatth...@debian.org patr...@linux-dev.org */ signature.asc Description: OpenPGP digital signature --- End Message ---
Bug#681108: ITP: norsnet -- NORSnet - identifies unstructured loops from sequence
Package: wnpp Severity: wishlist Owner: mer...@in.tum.de * Package name: norsnet Version : 1.0.10 Upstream Author : Guy Yachdav * URL : http://www.rostlab.org/ * License : GPL Programming Lang: Perl Description : NORSnet - identifies unstructured loops from sequence NORSnet was trained to distinguish between very long contiguous segments with non-regular secondary structure (NORS regions) and well-folded proteins. NORSnet was trained on predicted information rather than on experimental data. Therefore, it was optimized on a large data, which is not biased by today's experimental means of capturing disorder. Thus, NORSnet reached into regions in sequence space that are not covered by the specialized disorder predictors. One disadvantage of this approach is that it is not optimal for the identification of the "average" disordered region. -- To UNSUBSCRIBE, email to debian-wnpp-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/20120710172455.3292.67877.report...@i12r-tbl.informatik.tu-muenchen.de
Processed: Re: Bug#681098: ITP: librg-exception-perl -- RG::Exception perl module
Processing commands for cont...@bugs.debian.org: > reassign 681098 wnpp Bug #681098 [librg-exception-perl] ITP: librg-exception-perl -- RG::Exception perl module Warning: Unknown package 'librg-exception-perl' Bug reassigned from package 'librg-exception-perl' to 'wnpp'. Ignoring request to alter found versions of bug #681098 to the same values previously set Ignoring request to alter fixed versions of bug #681098 to the same values previously set > thanks Stopping processing here. Please contact me if you need assistance. -- 681098: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=681098 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems -- To UNSUBSCRIBE, email to debian-wnpp-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/handler.s.c.134193816625595.transcr...@bugs.debian.org
Bug#673999: marked as done (RFP: opendungons -- a new package for an DK-style game.)
Your message dated Tue, 10 Jul 2012 16:45:51 +0100 with message-id and subject line Re: RFP: opendungons -- a new package for an DK-style game. has caused the Debian Bug report #673999, regarding RFP: opendungons -- a new package for an DK-style game. to be marked as done. This means that you claim that the problem has been dealt with. If this is not the case it is now your responsibility to reopen the Bug report if necessary, and/or fix the problem forthwith. (NB: If you are a system administrator and have no idea what this message is talking about, this may indicate a serious mail system misconfiguration somewhere. Please contact ow...@bugs.debian.org immediately.) -- 673999: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=673999 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems --- Begin Message --- Package: opendungeons.deb Severity: high Hi, we try to get packages for major linux distros. The current git repository is at git://opendungeons.git.sourceforge.net/gitroot/opendungeons/opendungeons All the code is distributed under GPLv3. Build info is at http://opendungeons.sourceforge.net/w/index.php/Download#Building_from_source. Tomasz Luchowski. --- End Message --- --- Begin Message --- Hi, According to the post by Øyvind Larsen Nygård and my own tests, I don't deem OpenDungeons to be worth packaging at the moment. Packaging software is not completely free for a distribution: people has to spend time packaging, reviewing its quality, updating and maintaining it for years, fixing security issues when they appear... Every package also uses resources in other ways: using space in the archives and mirrors around the world, building in more than 15 architectures for every version (sometimes in not very powerful or quite busy machines), etc. On top of that, they put pressure on libraries/packages that the software depends upon, since Debian people in general don't like to gratuitously break packages that have been accepted as part of the distribution. For example, I am the maintainer of OGRE in Debian and I am thinking of removing 1.7 for the next stable and keep 1.8 only. If there's software depending on that OGRE version and breaking with newer ones (as it's the case with OpenDungeons with OGRE 1.7->1.8, I think), it makes much more difficult for me to keep only one or two versions of OGRE in the archive without breaking all of the packages not updated upstream. So for all of these reasons, I will close the bug report for the time being. I wish you success with the project and that it can be packaged in the future. Regards. --- End Message ---
Bug#656903: RFP: desurium -- Desura is a gaming client that allows a user to one click download and install games and game modification.
Hi, I want just to summarize all important changes since the last comment: 1. We moved entirely to cmake, so we are checking for installed dependencies and stuff 2. We are trying to move to a system wxWidgets at the moment. It is possible to use a system wxWidgets with a dirty little hack, but because we don't want a dirty little hack here, this will take some time 3. We have a little problem with cURL. Look here for more information: https://github.com/lodle/Desurium/issues/199 we need c-ares support on some plattforms, that is the main reason for building cURL (which will be statically linked into the desura binaries) 4. we are building CEF, but we think about to make it possible to build it separately https://github.com/lodle/Desurium/issues/258 Please create issues for every thing you are not happy with here: https://github.com/lodle/Desurium/issues?state=open Thanks Karol -- To UNSUBSCRIBE, email to debian-wnpp-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/1341933729.3426.20.camel@karols-gentoo
Bug#672868: Intel will probably fix its license so that files will be redistributable
Hi, It seems that the real goal of Intel would be that the files are redistributable. See their answer to my question: http://software.intel.com/en-us/forums/showthread.php?t=106234 I already made an package for myself. Would you be interested by a co-maintainer ? If yes, I will upload my work into collab-maint on alioth (I work with git). Regards, Vincent -- Vincent Danjean GPG key ID 0x9D025E87 vdanj...@debian.org GPG key fingerprint: FC95 08A6 854D DB48 4B9A 8A94 0BF7 7867 9D02 5E87 Unofficial pkgs: http://moais.imag.fr/membres/vincent.danjean/deb.html APT repo: deb http://people.debian.org/~vdanjean/debian unstable main -- To UNSUBSCRIBE, email to debian-wnpp-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/4ffc2af8.60...@free.fr
Bug#673999:
The project isn't really in any releasable state yet, and won't be any time soon. This means that packaging isn't in any way needed at this state, and the bug could probably be closed. Øyvind -- To UNSUBSCRIBE, email to debian-wnpp-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/20120710145557.00d2197b@oln-laptop
Bug#680188: ITP: pgsphere -- extension for PostgreSQL adding spherical data types
Dnia 2012-07-04, śro o godzinie 12:34 +0200, Florian Rothmaier pisze: > Package: wnpp > Severity: wishlist > Owner: Florian Rothmaier > > > * Package name: pgsphere > Version : 1.1.1 > Upstream Author : Janko Richter > * URL : http://pgfoundry.org/projects/pgsphere/ > * License : BSD-3-clause > Programming Lang: C > Description : extension for PostgreSQL adding spherical data types > > PgSphere, an extension for PostgreSQL, aims at providing uniform > access to spherical data. It allows for a fast search and analysis for > objects with spherical attributes in geographical, astronomical, or > other applications using PostgreSQL. > . > By using an SQL interface, PgSphere's users can conveniently manage > data of geographical objects around the world and astronomical data > collections like star and other catalogues. > How it related to PostGIS? I mean - can I use both PostGIS and pgsphere, do I need to chose only one, can I use pgsphere for one thing and PostGIS to another? Regards. -- Tomasz Rybak GPG/PGP key ID: 2AD5 9860 Fingerprint A481 824E 7DD3 9C0E C40A 488E C654 FB33 2AD5 9860 http://member.acm.org/~tomaszrybak signature.asc Description: This is a digitally signed message part
Bug#680892: ITP: radeontop -- radeontop: Utility to show Radeon GPU utilization
Dnia 2012-07-09, pon o godzinie 00:21 +0200, John Paul Adrian Glaubitz pisze: > Package: wnpp > Severity: wishlist > Owner: John Paul Adrian Glaubitz > > * Package name: radeontop > Version : 0.5.4 > Upstream Author : Lauri Kasanen > * URL : https://github.com/clbr/radeontop > * License : GPLv3 > Programming Lang: C > Description : radeontop: Utility to show Radeon GPU utilization > > radeontop is a small utility which allows to monitor the utilization of > Radeon GPUs starting from the R600 series and newer using using undocumented > performance counters in the hardware. The utility works with the free > drivers. > > It displays the utilization of the graphics pipe, event engine, vertex cache, > vertex group and tesselator, texture addresser and cache, the shader units > and more both with a relative percent value as well as a colorful bar diagram. > > It comes with a manpage. > > > Package seems interesting. Will it work with non-free driver? Also, can it show OpenCL related data, like allocated memory, threads running, etc.? Regards. -- Tomasz Rybak GPG/PGP key ID: 2AD5 9860 Fingerprint A481 824E 7DD3 9C0E C40A 488E C654 FB33 2AD5 9860 http://member.acm.org/~tomaszrybak signature.asc Description: This is a digitally signed message part
Bug#674876: marked as done (O: libggi -- General Graphics Interface runtime libraries)
Your message dated Tue, 10 Jul 2012 12:37:37 + with message-id and subject line Bug#680986: Removed package(s) from unstable has caused the Debian Bug report #674876, regarding O: libggi -- General Graphics Interface runtime libraries to be marked as done. This means that you claim that the problem has been dealt with. If this is not the case it is now your responsibility to reopen the Bug report if necessary, and/or fix the problem forthwith. (NB: If you are a system administrator and have no idea what this message is talking about, this may indicate a serious mail system misconfiguration somewhere. Please contact ow...@bugs.debian.org immediately.) -- 674876: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=674876 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems --- Begin Message --- Package: wnpp Severity: normal The current maintainer of libggi, Bradley Smith , is apparently not active anymore. Therefore, I orphan this package now. Maintaining a package requires time and skills. Please only adopt this package if you will have enough time and attention to work on it. If you want to be the new maintainer, please see http://www.debian.org/devel/wnpp/index.html#howto-o for detailed instructions how to adopt a package properly. Some information about this package: Package: libggi Binary: libggi2, libggi2-dev, libggi-samples, libggi-target-emu, libggi-target-monotext, libggi-target-vcsa, libggi-target-aa, libggi-target-terminfo, libggi-target-fbdev, libggi-target-x, libggi-target-svgalib, libggi-target-lcd823 Version: 1:2.2.2-5.1 Maintainer: Bradley Smith Build-Depends: debhelper (>= 7), quilt, libgii1-dev (>= 1:1.0.1-2), libaa1-dev, libncurses5-dev, libxxf86dga-dev, libxxf86vm-dev, libx11-dev, libxext-dev, libxt-dev, x11proto-core-dev, x11-utils, libsvga1-dev [amd64 i386], autotools-dev Architecture: any Standards-Version: 3.8.3 Format: 1.0 Files: b0771cad8be949b27f1479fccb1d534b 2515 libggi_2.2.2-5.1.dsc 4fa672b1403c9f06e8cb35e699a693f1 1746184 libggi_2.2.2.orig.tar.gz 494423ed9e4285d1a2caa0c0f1c9d462 32814 libggi_2.2.2-5.1.diff.gz Checksums-Sha1: 84357c8a4b3dba731d7191617729243afeaf22e0 2515 libggi_2.2.2-5.1.dsc 3065c700c451bb4b9a59956f10415e6242cef133 1746184 libggi_2.2.2.orig.tar.gz e3b1048b91032553ab8c6f954dd7e6d57343f4c4 32814 libggi_2.2.2-5.1.diff.gz Checksums-Sha256: 4f9e0f1672a1bb4a1a5579382201cec59a508814dcbbef800597c0612133a628 2515 libggi_2.2.2-5.1.dsc 14bd225834ce5a14e097b2cc0852930a1d105088dfaab2e3241e5c3280ef434c 1746184 libggi_2.2.2.orig.tar.gz 5cf20356b298e6f2116529748e19d4779c0b23c13e4ac5c5e0e8dde2bcfecac6 32814 libggi_2.2.2-5.1.diff.gz Homepage: http://www.ggi-project.org/ Package-List: libggi-samples deb libs optional libggi-target-aa deb libs optional libggi-target-emu deb libs optional libggi-target-fbdev deb libs optional libggi-target-lcd823 deb libs optional libggi-target-monotext deb libs optional libggi-target-svgalib deb libs optional libggi-target-terminfo deb libs optional libggi-target-vcsa deb libs optional libggi-target-x deb libs optional libggi2 deb libs optional libggi2-dev deb libdevel optional Directory: pool/main/libg/libggi Priority: source Section: libs Package: libggi2 Source: libggi Version: 1:2.2.2-5.1 Installed-Size: 807 Maintainer: Bradley Smith Architecture: amd64 Replaces: libggi-target-fbdev (<< 1:2.0.1+), libggi1 Depends: libaa1 (>= 1.4p5), libc6 (>= 2.7), libgii1, libncurses5 (>= 5.5-5~), libsvga1, libtinfo5, libx11-6, libxext6, libxxf86dga1, libxxf86vm1 Recommends: libggi-target-x | libggi-target Suggests: libggi-target-emu, libggi-target-monotext, libggimisc2 Conflicts: libggi-target-aa (<< 2.0.2), libggi-target-emu (<< 2.0.2), libggi-target-fbdev (<< 2.0.2), libggi-target-glide (<< 2.0.2), libggi-target-kgi (<< 2.0.2), libggi-target-lcd823 (<< 2.0.2), libggi-target-monotext (<< 2.0.2), libggi-target-svgalib (<< 2.0.2), libggi-target-terminfo (<< 2.0.2), libggi-target-vcsa (<< 2.0.2), libggi-target-x (<< 2.0.2), libggi1 Description-en: General Graphics Interface runtime libraries "General Graphics Interface" - a fast, portable graphics environment. . This package contains the shared libraries for libGGI, the lowest-level drawing library provided by GGI. . Since none of the targets included here are, alone, capable of real, physical graphics output, you'll probably need to install at least one of the libggi-target packages to make any kind of sensible use of libGGI. . Included are libGGI drivers for these targets: . "memory" draws into hidden in-memory framebuffers "ipc" draws into attached shared memory framebuffers "multi" draws output onto multiple displays simultaneously "tile" combines several displays into a single logical display "sub" draws output into a sub-window on another target "file" draws into a specially formatted file "tele" draws on a remote teleserver Homepage: http://www.ggi-project.org/ Description-md5: 3c8b2810edece09b8462bf9b10a1336
Bug#681059: marked as done (ITP: v3c-storyboard -- Tell a story)
Your message dated Tue, 10 Jul 2012 12:00:49 +0100 with message-id <4ffc0b61.7090...@philipashmore.com> and subject line Re: Bug#681059: Acknowledgement (ITP: v3c-storyboard -- Tell a story) has caused the Debian Bug report #681059, regarding ITP: v3c-storyboard -- Tell a story to be marked as done. This means that you claim that the problem has been dealt with. If this is not the case it is now your responsibility to reopen the Bug report if necessary, and/or fix the problem forthwith. (NB: If you are a system administrator and have no idea what this message is talking about, this may indicate a serious mail system misconfiguration somewhere. Please contact ow...@bugs.debian.org immediately.) -- 681059: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=681059 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems --- Begin Message --- Package: wnpp Severity: wishlist Owner: Philip Ashmore * Package name: v3c-storyboard Version : 0.2.0-04 Upstream Author : Philip Ashmore * URL : http://sourceforge.net/projects/v3c-storyboard/ * License : LGPLv3 Programming Lang: C, C++ Description : Tell a story Bootstraps software development from fundamental principals. It uses the "story" narritive to explain these principals as well as showing the user how to do the same with their ideas. --- End Message --- --- Begin Message --- close 681059 thanks # Reportbug encountered problems sending the original report - I guess more than one got through - sorry for the inconvenience. --- End Message ---
Bug#681058: ITP: v3c-storyboard -- Tell a story
Package: wnpp Severity: wishlist Owner: Philip Ashmore * Package name: v3c-storyboard Version : 0.2.0-04 Upstream Author : Philip Ashmore * URL : http://sourceforge.net/projects/v3c-storyboard/ * License : LGPLv3 Programming Lang: C, C++ Description : Tell a story Bootstraps software development from fundamental principals. It uses the "story" narritive to explain these principals as well as showing the user how to do the same with their ideas. -- To UNSUBSCRIBE, email to debian-wnpp-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/20120710103311.6383.57346.reportbug@buckyball.local
Bug#681045: O: tcpser -- emulate a Hayes compatible modem
Package: wnpp Severity: normal The current maintainer of tcpser, Peter Collingbourne , is not interested in it anymore. Therefore, I orphan this package now. Maintaining a package requires time and skills. Please only adopt this package if you will have enough time and attention to work on it. If you want to be the new maintainer, please see http://www.debian.org/devel/wnpp/index.html#howto-o for detailed instructions how to adopt a package properly. Some information about this package: Package: tcpser Binary: tcpser Version: 1.0rc12-1 Maintainer: Peter Collingbourne Build-Depends: debhelper (>= 5), dpatch Architecture: any Standards-Version: 3.7.3 Format: 1.0 Files: 375dc8f2cc5caa16de07fd016cc9157e 976 tcpser_1.0rc12-1.dsc ab127ae472a3d346dc8a7f53ad2b1a8f 76483 tcpser_1.0rc12.orig.tar.gz 357e56eef7a5556588b75ed9b9976219 2849 tcpser_1.0rc12-1.diff.gz Vcs-Bzr: http://bzr.debian.org/collab-maint/tcpser/unstable/ Checksums-Sha1: 0c2ed304f3ccd3cc385d59701dde76a67e5d60f9 976 tcpser_1.0rc12-1.dsc 7cf65f64c24edacb555164dd8915a6921b7181c9 2849 tcpser_1.0rc12-1.diff.gz 1eed5e724701edf7048d10440ce6d5e28071e309 76483 tcpser_1.0rc12.orig.tar.gz Checksums-Sha256: 1068a78ede0bfb21e5f0516ac5fa3d08b8afcd842addf0bc6968be4445f7c5a7 976 tcpser_1.0rc12-1.dsc 89f5652a25e22dbe751e47f2fe4d0d6e993d3363b138786e81b103e0ba261e8d 2849 tcpser_1.0rc12-1.diff.gz ff38c6cd575612e084bc08619f19d91b6e77b784269862b4584fc10660fa39b5 76483 tcpser_1.0rc12.orig.tar.gz Homepage: http://www.jbrain.com/pub/linux/serial/ Directory: pool/main/t/tcpser Priority: source Section: net Package: tcpser Version: 1.0rc12-1 Installed-Size: 112 Maintainer: Peter Collingbourne Architecture: amd64 Depends: libc6 (>= 2.7-1) Description-en: emulate a Hayes compatible modem TCPSER turns a PC serial port into an emulated Hayes compatible modem that uses TCP/IP for incoming and outgoing connections. It can be used to allow older applications and systems designed for modem use to operate on the Internet. TCPSER supports all standard Hayes commands, and understands extended and vendor proprietary commands (though it does not implement many of them). TCPSER can be used for both inbound and outbound connections. Homepage: http://www.jbrain.com/pub/linux/serial/ Description-md5: 459c6be286ecca70f79075d9f4626672 Tag: hardware::emulation, hardware::modem, interface::daemon, network::server Section: net Priority: optional Filename: pool/main/t/tcpser/tcpser_1.0rc12-1_amd64.deb Size: 31788 MD5sum: fd41ae830a3babd150f97c1e92cc761c SHA1: 4130649bfe80119e34bd8e8033c5528fd55c948d SHA256: 74ef9fa6998fff6637ab3f51d7497f16f5afbbc8b973225d9bb76fcf6a2c7f42 signature.asc Description: Digital signature
Bug#681044: O: prover9-manual -- documentation for Prover9 and associated programs
Package: wnpp Severity: normal The current maintainer of prover9-manual, Peter Collingbourne , is not interested in it anymore. Therefore, I orphan this package now. Maintaining a package requires time and skills. Please only adopt this package if you will have enough time and attention to work on it. If you want to be the new maintainer, please see http://www.debian.org/devel/wnpp/index.html#howto-o for detailed instructions how to adopt a package properly. Some information about this package: Package: prover9-manual Binary: prover9-doc Version: 0.0.200902a-1 Maintainer: Peter Collingbourne Build-Depends: debhelper (>= 5), dpatch Build-Depends-Indep: htmldoc Architecture: all Standards-Version: 3.8.1 Format: 1.0 Files: f273dd2392eca57ac87b0c4376d98e1b 1227 prover9-manual_0.0.200902a-1.dsc 00b6779d2d3edbd4434a24eebb79b2a8 103 prover9-manual_0.0.200902a.orig.tar.gz 7427129d02078411724c50738beb2dca 4185 prover9-manual_0.0.200902a-1.diff.gz Dm-Upload-Allowed: yes Vcs-Bzr: nosmart+http://bzr.debian.org/collab-maint/prover9-manual/unstable/ Checksums-Sha1: 0c8e6f3886238cae7d9559ecb87aee3c886a7234 1227 prover9-manual_0.0.200902a-1.dsc de9bd94d3f631ad7781640ac17886082eb22af93 103 prover9-manual_0.0.200902a.orig.tar.gz 8c7702cf7e1a905a601d6251140eb465fd47e68c 4185 prover9-manual_0.0.200902a-1.diff.gz Checksums-Sha256: c4412b363581d9511d28036729ee8acde0f2e3fb30d3b834da56fe64788f505c 1227 prover9-manual_0.0.200902a-1.dsc 8d049695b3927743e90bf5ed6db3282e7a8a05de6e95dcc1d5792ce763e793a5 103 prover9-manual_0.0.200902a.orig.tar.gz 0d14cb86876ecb20bdcbe1fad98f288a9dd7d46629ff24a7340ef4fa2deeefcf 4185 prover9-manual_0.0.200902a-1.diff.gz Homepage: http://www.cs.unm.edu/~mccune/mace4/ Directory: pool/main/p/prover9-manual Priority: source Section: doc Package: prover9-doc Source: prover9-manual Version: 0.0.200902a-1 Installed-Size: 3544 Maintainer: Peter Collingbourne Architecture: all Suggests: prover9, ladr4-apps, python Description-en: documentation for Prover9 and associated programs Prover9 is an automated theorem prover for first-order and equational logic. It is a successor of the Otter prover. Prover9 uses the inference techniques of ordered resolution and paramodulation with literal selection. . This package provides documentation for Prover9, Mace4 and other associated programs. Homepage: http://www.cs.unm.edu/~mccune/mace4/ Description-md5: 3666da0276f73cac13717eb7f17a3d20 Tag: made-of::html, made-of::pdf, role::documentation Section: doc Priority: optional Filename: pool/main/p/prover9-manual/prover9-doc_0.0.200902a-1_all.deb Size: 968774 MD5sum: c6f1afd44d2140da5d80526f5e0f692b SHA1: daafb900765f0c1f6ed5604403d817d3b7a8a40e SHA256: 381a20ff5de1faa666d2ec3fce403764edb10f530fb48c64d1e0002e8cdc signature.asc Description: Digital signature
Bug#681043: O: otter -- resolution-style theorem prover
Package: wnpp Severity: normal The current maintainer of otter, Peter Collingbourne , is not interested in it anymore. Therefore, I orphan this package now. Maintaining a package requires time and skills. Please only adopt this package if you will have enough time and attention to work on it. If you want to be the new maintainer, please see http://www.debian.org/devel/wnpp/index.html#howto-o for detailed instructions how to adopt a package properly. Some information about this package: Package: otter Binary: otter, mace2, formed Version: 3.3f-1.1 Maintainer: Peter Collingbourne Build-Depends: debhelper (>= 5), libxaw7-dev, hevea Architecture: any Standards-Version: 3.7.2 Format: 1.0 Files: 42be2fcd39cb7b7291e4320fa9bae862 1703 otter_3.3f-1.1.dsc 795711b307cc1316e08d3d4f46c998c9 2554827 otter_3.3f.orig.tar.gz ee42d1cd2f6d1a8bcde108c955d58582 7248 otter_3.3f-1.1.diff.gz Checksums-Sha1: 89a6be284d373d7b446d18d551a671335c0dac9a 1703 otter_3.3f-1.1.dsc 95eef58d733ebb855c0df1d643b6e22246bf3ff2 2554827 otter_3.3f.orig.tar.gz 591feb6ca422f932b67e073058fed8a798611d5a 7248 otter_3.3f-1.1.diff.gz Checksums-Sha256: 2e4130efb6c5dce04b3c21c79b4a673dedfea43feffb04c5ed9eea3314af33fb 1703 otter_3.3f-1.1.dsc 392c8c6557944eaf6958c199c365b43189beab836fb80c716569ea43af0dac9a 2554827 otter_3.3f.orig.tar.gz 1ececab9c99a5356183bba32d6f8f22c21a5e1366ed0cff032bc830515c31478 7248 otter_3.3f-1.1.diff.gz Package-List: formed deb math optional mace2 deb math optional otter deb math optional Directory: pool/main/o/otter Priority: source Section: math Package: otter Version: 3.3f-1.1 Installed-Size: 1289 Maintainer: Peter Collingbourne Architecture: amd64 Depends: libc6 (>= 2.7) Recommends: perl, c-shell, mace2 Suggests: formed Description-en: resolution-style theorem prover OTTER is an automated theorem prover for equational logic developed at Argonne National Laboratory. . OTTER's inference rules are based on resolution and paramodulation, and it includes facilities for term rewriting, term orderings, Knuth-Bendix completion, weighting, and strategies for directing and restricting searches for proofs. OTTER can also be used as a symbolic calculator and has an embedded equational programming system. Description-md5: 9377d17015337e1e1d1a0fee8b1cd794 Section: math Priority: optional Filename: pool/main/o/otter/otter_3.3f-1.1_amd64.deb Size: 785362 MD5sum: 2dbebfc4172b694a7ab3cd1b9f814f0c SHA1: af55b7f320ec75d31cb9b939e5c801d21fa21ef6 SHA256: e93557cc2bf8e895f483e3585776cca13c510b393c4f2ed8cba1d1dd8f8f18f1 Package: mace2 Source: otter Version: 3.3f-1.1 Installed-Size: 1126 Maintainer: Peter Collingbourne Architecture: amd64 Depends: libc6 (>= 2.7) Recommends: perl, c-shell, otter Suggests: swi-prolog | gprolog Description-en: program that searches for finite models of first-order statements MACE is a program that searches for finite models of first-order and equational statements developed at Argonne National Laboratory. . This package includes ANLDP, which calls the propositional decision procedure at the core of MACE directly. . MACE serves as a complementary companion to OTTER, which searches for refutations of the same class of statement. In particular, if you have a first-order conjecture, OTTER will search for a proof, and MACE will search for a counterexample from the same input file. Description-md5: 3fb8ffe281a2180d32adc0294cc3bc8d Tag: role::program, use::searching Section: math Priority: optional Filename: pool/main/o/otter/mace2_3.3f-1.1_amd64.deb Size: 563846 MD5sum: 88b8afb30c1046ad1c1d7d53b88ecc2d SHA1: 938ce4d51df16402394d17099c2dee40c0ecb0ef SHA256: 4fb69d996665006ab2f4496ea11e8785019a2290c0801476472431981079adfd Package: formed Source: otter Version: 3.3f-1.1 Installed-Size: 409 Maintainer: Peter Collingbourne Architecture: amd64 Depends: libc6 (>= 2.7), libx11-6, libxaw7, libxt6 Suggests: otter Description-en: formula editor for first-order logic formulae Formed is a formula editor for first-order logic formulas that lets you simplify quantified formulas by quantifier transformation among other things. Description-md5: aa13f669b866573738cbcb8094c4b051 Section: math Priority: optional Filename: pool/main/o/otter/formed_3.3f-1.1_amd64.deb Size: 185652 MD5sum: 5b0746941911d3cbc6ff66d259547bff SHA1: d97c65a90057d27c983883af9a1e96d7791d04b7 SHA256: e72481f0973f943ecfcd3dc1e5ff5094d4743127569a6a9d763cccd8b3106ecd signature.asc Description: Digital signature
Bug#681042: O: ladr -- the LADR deduction library, development files
Package: wnpp Severity: normal The current maintainer of ladr, Peter Collingbourne , is not interested anymore in it. Therefore, I orphan this package now. Maintaining a package requires time and skills. Please only adopt this package if you will have enough time and attention to work on it. If you want to be the new maintainer, please see http://www.debian.org/devel/wnpp/index.html#howto-o for detailed instructions how to adopt a package properly. Some information about this package: Package: ladr Binary: libladr-dev, libladr4, prover9, ladr4-apps Version: 0.0.200902a-2.1 Maintainer: Peter Collingbourne Build-Depends: debhelper (>= 5), libtool, dpatch Architecture: any Standards-Version: 3.8.1 Format: 1.0 Files: e8951dc61e16d5c795744079b8b7aa64 1945 ladr_0.0.200902a-2.1.dsc f37a5304737ea2b14caf90d0a784964e 1970966 ladr_0.0.200902a.orig.tar.gz 41d4744a4ef936a23d563adecf1dcf42 18079 ladr_0.0.200902a-2.1.diff.gz Dm-Upload-Allowed: yes Vcs-Bzr: nosmart+http://bzr.debian.org/collab-maint/ladr/unstable/ Checksums-Sha1: 55089824ed1d97a1eff12ffe4a466671f24d230a 1945 ladr_0.0.200902a-2.1.dsc 2ce0122f363ff3355bd9a359ec3d183923c2fd41 1970966 ladr_0.0.200902a.orig.tar.gz 5bc089d5c95c706a097ba6722c74691387045abe 18079 ladr_0.0.200902a-2.1.diff.gz Checksums-Sha256: a7f0e0575f47f7fc14a0471882da031f8f78c851aa08e4ae7ebee747ce920da4 1945 ladr_0.0.200902a-2.1.dsc 3043a93f8339928bf4d839b92c7dc204011cc3d9e7adc719a23da8262c2bb95a 1970966 ladr_0.0.200902a.orig.tar.gz ff3c2a9382f836c206f19e226e795cf65d5ddfe413a9f9c8da937aac1f966d38 18079 ladr_0.0.200902a-2.1.diff.gz Homepage: http://www.cs.unm.edu/~mccune/mace4/ Package-List: ladr4-apps deb math optional libladr-dev deb libdevel optional libladr4 deb libs optional prover9 deb math optional Directory: pool/main/l/ladr Priority: source Section: math Package: libladr-dev Source: ladr Version: 0.0.200902a-2.1 Installed-Size: 1484 Maintainer: Peter Collingbourne Architecture: amd64 Depends: libladr4 (= 0.0.200902a-2.1) Description-en: the LADR deduction library, development files LADR (Library for Automated Deduction Research) is a library for use in constructing theorem provers. Among other useful routines it provides facilities for applying inference rules such as resolution and paramodulation to clauses. LADR is used by the prover9 theorem prover, and by the mace4 countermodel generator. . This package provides development support files for LADR. Homepage: http://www.cs.unm.edu/~mccune/mace4/ Description-md5: 417a6343e536b64bad9bd10fd9014480 Tag: devel::library, role::devel-lib Section: libdevel Priority: optional Filename: pool/main/l/ladr/libladr-dev_0.0.200902a-2.1_amd64.deb Size: 407778 MD5sum: 6e05b32817631c5063ab11aad6cb7bac SHA1: 9e2c9dc0afad12ed41ae8fe69a68df6751dcb29d SHA256: 70d906eeed8bacc175f737ac05a027d70c2fac6042ea458b47b53d8510b83105 Package: libladr4 Source: ladr Version: 0.0.200902a-2.1 Installed-Size: 541 Maintainer: Peter Collingbourne Architecture: amd64 Depends: libc6 (>= 2.2.5) Description-en: the LADR deduction library LADR (Library for Automated Deduction Research) is a library for use in constructing theorem provers. Among other useful routines it provides facilities for applying inference rules such as resolution and paramodulation to clauses. LADR is used by the prover9 theorem prover, and by the mace4 countermodel generator. Homepage: http://www.cs.unm.edu/~mccune/mace4/ Description-md5: db21ac657e20aab0a1bdc5cbf768a123 Tag: role::shared-lib Section: libs Priority: optional Filename: pool/main/l/ladr/libladr4_0.0.200902a-2.1_amd64.deb Size: 245148 MD5sum: d1e926df96e84966312e2c2d1c7c17ba SHA1: a4e6eafea2c30a275c3446dd86bcc15586876d80 SHA256: 3225df9f9b7cf2454c08aa74ab72dbad31b546801ddbf05b086c14900a9bb468 Package: prover9 Source: ladr Version: 0.0.200902a-2.1 Installed-Size: 265 Maintainer: Peter Collingbourne Architecture: amd64 Depends: libc6 (>= 2.7), libladr4 (>= 0.0.200902a) Suggests: ladr4-apps (= 0.0.200902a-2.1), prover9-doc (>> 0.0.200902a), prover9-doc (<< 0.0.200902b) Description-en: theorem prover and countermodel generator This package provides the Prover9 resolution/paramodulation theorem prover and the Mace4 countermodel generator. . Prover9 is an automated theorem prover for first-order and equational logic. It is a successor of the Otter prover. Prover9 uses the inference techniques of ordered resolution and paramodulation with literal selection. . The program Mace4 searches for finite structures satisfying first-order and equational statements, the same kind of statement that Prover9 accepts. If the statement is the denial of some conjecture, any structures found by Mace4 are counterexamples to the conjecture. . Mace4 can be a valuable complement to Prover9, looking for counterexamples before (or at the same time as) using Prover9 to search for a proof. It can also be used to help debug input clauses and formulas for Prover9. Homepage: http://www.cs.unm.edu/~mccune/mace4/
Bug#679078: ITP: acpi-support-minimal -- minimal acpi scripts
On Mon, Jul 09, 2012 at 07:33:59PM +0200, Vincent Bernat wrote: > OK, I misunderstood the problem. I thought the difficulty was to fire > the screensaver on the behalf of the active user. Isn't the information > about running a power management software available through DBus? Hmm, that's actually a good point. It seems the X session information is only needed for old KDE setups. Ah well, consolekit is optional now, so no need to worry anymore. :) Michael -- Michael Meskes Michael at Fam-Meskes dot De, Michael at Meskes dot (De|Com|Net|Org) Michael at BorussiaFan dot De, Meskes at (Debian|Postgresql) dot Org Jabber: michael.meskes at googlemail dot com VfL Borussia! Força Barça! Go SF 49ers! Use Debian GNU/Linux, PostgreSQL -- To UNSUBSCRIBE, email to debian-wnpp-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/20120710070632.ga16...@feivel.credativ.lan