debian-wnpp Jul 2022 by thread
[Date Index]
[Subject Index]
[Author Index]
[Other Debian Lists]
[Debian Home]
Bug#1012761: ITP: shtab -- generator for shell tab completion files for python projects Stephan Lachnit
<Possible follow-ups>
Bug#1012761: ITP: shtab -- generator for shell tab completion files for python projects Johannes Schauer Marin Rodrigues
Bug#1013425: ITP: wnpp -- Python Airspeed is a powerful templating engine compatible with Velocity for Java Stephan Lachnit
Bug#1014273: ITP: pastaignore -- makes gitignores easier saltq
Bug#775827: RFA: grok -- powerful pattern-matching and reacting tool Ankit Pandey
Bug#898408: ITP: python3-aiohue -- Python3 asyncio package to talk to Philips Hue Bastian Germann
Processed: Bug#1003545 marked as pending in concurrent-log-handler Debian Bug Tracking System
Bug#1013226: marked as done (RFP: python-stringcase -- Convert strings between camel case, pascal case, snake case etc.) Debian Bug Tracking System
Processed: python3 prefixes Debian Bug Tracking System
Bug#1014297: ITP: pytoolconfig -- Python Tool Configuration Boyuan Yang
Bug#917541: ITP - Python-xxhash - Python Binding for xxHash Bastian Germann
Bug#1003545: marked as done (ITP: concurrent-log-handler -- An additional log handler for Python's standard logging package) Debian Bug Tracking System
Bug#1014313: ITP: golang-github-emersion-go-mbox -- Package mbox parses the mbox file format into messages and formats messages into mbox files Robin Jarry
Bug#966558: ITP: fast5-research -- command line executable tools for python3-fast5-research Bastian Germann
Processed: RFS: apprise/0.9.9-1 [ITP] -- Push Notifications that work with just about every platform Debian Bug Tracking System
Bug#887042: marked as done (RFP: python3-async-lru -- Simple lru cache for asyncio) Debian Bug Tracking System
Bug#887105: marked as done (RFP: python3-flake8-blind-except -- A flake8 extension that checks for blind, catch-all except statements) Debian Bug Tracking System
Bug#975378: O: opensysusers Andrea Pappacoda
Bug#887650: RFP: python3-nltk-doc -- Natural Language Processing with Python - book Bastian Germann
Bug#970811: marked as done (RFP: python3-sphinx-sitemap -- sphinx sitemap generator extension) Debian Bug Tracking System
Processed: python3 prefix Debian Bug Tracking System
Bug#851766: marked as done (RFP: python3-streamparser -- Python library to parse Apertium stream format) Debian Bug Tracking System
Bug#886900: RFP: python-epub -- Python2 Library to open and read files in the epub version 2 Bastian Germann
Bug#754120: marked as done (RFP: python-gnupg-ng -- A Python wrapper for GnuPG) Debian Bug Tracking System
Bug#739417: ITP: qmplay2 -- a video player Bastian Germann
Bug#929339: RFP: qsmtp - drop-in replacement for qmail STMP programs Bastian Germann
Bug#725140: marked as done (RFP: php5-gnutls -- PHP extension for GnuTLS) Debian Bug Tracking System
Bug#704079: marked as done (RFP: php5-weakref -- Implementation of weak) Debian Bug Tracking System
Processed: owner 998029 ... Debian Bug Tracking System
Bug#1014317: ITP: yarsync -- file synchronization and backup tool Josenilson Ferreira da Silva
Bug#1010247: ITP: greetd -- minimal and flexible login manager daemon Johannes Schauer Marin Rodrigues
Bug#1014325: ITP: megapixels-postprocessd -- Image processing utility meant as companion for megapixels application Evangelos Ribeiro Tzaras
Bug#772818: marked as done (RFP: chaps -- PKCS#11 implementation for TPM backed services) Debian Bug Tracking System
Bug#913079: ITP: strawberry -- an audio player and music collection organizer fully based on Qt5 Peter B
Bug#1014328: RFP: soju -- user-friendly IRC bouncer David Bremner
Processed: gocr: provide static and shared libraries for -lPgm2asc Debian Bug Tracking System
Bug#1014339: ITP: rust-rmp -- pure Rust MessagePack serialization Jonas Smedegaard
Processed: ITP again Debian Bug Tracking System
Bug#1014344: ITP: gatk-bwamem -- interface to call Heng Li's bwa mem aligner from Java code Pierre Gruet
Bug#1014348: ITP: golang-github-go-macaroon-bakery-macaroon-bakery -- High level operations for building systems with macaroons (library) Mathias Gibbens
Bug#1014350: ITP: nuxhash -- NiceHash cryptocurrency mining client for Linux Ben Westover
Bug#415241: marked as done (RFP: opus-placement -- on-line application for managing work and practice based learning (placement)) Debian Bug Tracking System
Bug#1013373: ITA: python-matrix-nio -- python no-IO library for the matrix chat protocol - Python3 library Jochen Sprickerhof
Bug#1013373: marked as done (ITA: python-matrix-nio -- python no-IO library for the matrix chat protocol - Python3 library) Debian Bug Tracking System
Bug#1014363: ITP: bash-it -- collection of community Bash commands and scripts for Bash Guilherme de Paula Xavier Segundo
Bug#1014367: ITP: xmrig-cuda -- NVIDIA CUDA plugin for XMRig Ben Westover
Bug#826283: ITA: apngdis -- deconstruct APNG file into a sequence of PNG frames 肖盛文
Processed (with 1 error): Re: ITA: apngdis -- deconstruct APNG file into a sequence of PNG frames Debian Bug Tracking System
Bug#1014093: ITP: vobsubocr -- subtitle converter from DVD VOB to SRT Jonas Smedegaard
Bug#1014372: ITP: journal-brief -- Show interesting new systemd journal entries Marc Haber
Processed: summary 1014093 12 Debian Bug Tracking System
Bug#826282: ITA: apngasm -- assemble APNG animation from PNG/TGA image sequence 肖盛文
Bug#1014386: RFA: db5.3 -- Berkeley v5.3 Database Libraries [runtime] Ondřej Surý
Bug#1014387: RFA: db-defaults Ondřej Surý
Bug#1014388: RFA: py-lmdb Ondřej Surý
Processed (with 1 error): Re: ITA: apngasm -- assemble APNG animation from PNG/TGA image sequence Debian Bug Tracking System
Bug#1014399: ITP: mkdocs-section-index -- Plugin for MkDocs to allow clickable sections that lead to an index page Edward Betts
Bug#1014403: RFH: slony1-2 -- replication system for PostgreSQL Christoph Berg
Bug#1014406: ITP: oci-seccomp-bpf-hook -- OCI hook to trace syscalls and generate a seccomp profile Domenico Andreoli
Bug#1014408: RFP: echarts -- powerful, interactive charting and data visualization library for browser Joseph Nahmias
Bug#1014415: ITP: dispatch -- incident management tool Jelmer Vernooij
Bug#1014418: ITP: libelas -- Library for Efficient Large-scale Stereo Matching Dima Kogan
Bug#1007814: ITP: spek -- acoustic spectrum analyser James Lu
Processed: retitle 975378 to ITA: opensysusers -- processes sysusers.d directory to create system users Debian Bug Tracking System
Bug#1014440: ITP: terraform-switcher -- switch between different versions of terraform 陳昌倬
Bug#1014445: ITP:wordpress-plugin-authldap -- LDAP authentication-backend for wordpress Katharina Drexel
Bug#929458: ITP: trivy -- A Simple and Comprehensive Vulnerability Scanner for Containers, Suitable for CI Domenico Andreoli
Bug#1014449: ITP: python-sarif-python-om -- Python classes for the SARIF object model Guilherme de Paula Xavier Segundo
Bug#1014457: ITP: haddock3 -- High Ambiguity Driven biomolecular DOCKing Andrius Merkys
Bug#1004388: RFP: python3-inotify -- An adapter to Linux kernel support for inotify directory-watching Bastian Germann
Bug#1014479: RFP: bun -- All in one JavaScript runtime written in zig language Jérémy Lal
Bug#1003101: marked as done (ITP: opengnb -- via P2P to setup de-centralized layer3 network VPN) Debian Bug Tracking System
Bug#923705: marked as done (RFP: node-parse5 -- HTML parsing/serialization toolset for Node.js) Debian Bug Tracking System
Bug#1013923: marked as done (ITP: python-banal -- Commons of banal micro-functions for Python) Debian Bug Tracking System
Bug#826283: marked as done (ITA: apngdis -- deconstruct APNG file into a sequence of) Debian Bug Tracking System
Processed: ita Debian Bug Tracking System
Processed: Bug#888216 marked as pending in python-junit-xml Debian Bug Tracking System
Bug#888216: marked as done (ITA: python-junit-xml -- creates JUnit XML test result docs readable by tools such as Jenkins) Debian Bug Tracking System
Bug#1013956: marked as done (ITP: logstash-logback-encoder) Debian Bug Tracking System
Bug#1013337: marked as done (ITP: python-cmaes -- Python implementation of CMA-ES algorithms) Debian Bug Tracking System
Bug#1013963: marked as done (ITP: coq-ext-lib -- Collection of theories and plugins for Coq) Debian Bug Tracking System
Bug#1013965: marked as done (ITP: coqeal -- algebra and data structure algorithms for Coq) Debian Bug Tracking System
Bug#1013971: marked as done (ITP: ormar -- async ORM with fastapi in mind and pydantic validation) Debian Bug Tracking System
Bug#1013987: marked as done (ITP: r-cran-brglm2 -- GNU R bias reduction in generalized linear models) Debian Bug Tracking System
Bug#1013975: marked as done (ITP: r-cran-enrichwith -- GNU R methods to enrich R Objects with extra components) Debian Bug Tracking System
Bug#1013980: marked as done (ITP: pytest-golden -- Plugin for pytest that offloads expected outputs to data files) Debian Bug Tracking System
Bug#992108: marked as done (ITP: ansible-pygments -- tools for building the ansible distribution) Debian Bug Tracking System
Bug#913079: marked as done (ITP: strawberry -- an audio player and music collection organizer fully based on Qt5) Debian Bug Tracking System
Bug#1011591: marked as done (ITP: ytfzf -- POSIX script to find and watch youtube videos from the terminal.(Without API)) Debian Bug Tracking System
Bug#1013915: marked as done (ITP: rust-hyper-rustls -- rustls+hyper integration for pure rust HTTPS) Debian Bug Tracking System
Bug#1013992: ITP: session-migration -- tool to migrate in user session settings Jeremy Bicha
Bug#1014498: ITP: phosh-antispam -- Automatically hang up on spam calls Chris Talbot
Bug#826284: ITA: apngopt -- optimize APNG animated images 肖盛文
Bug#1014504: ITP: ojalgo -- Java library to do mathematics, linear algebra and optimisation Pierre Gruet
Bug#742394: Progress for PyCharm 5.0.1 Petter Reinholdtsen
Bug#1014507: RFP: windows2usb -- Burn Windows ISO to USB Flash Drive on Linux программист некто
Bug#1014508: ITP: python-pook -- HTTP traffic mocking and testing made easy (Python 3) Guilherme de Paula Xavier Segundo
Bug#1014513: ITP: pdb-tools -- tools for manipulating and editing PDB files Andrius Merkys
Processed: tag Debian Bug Tracking System
Bug#1014518: RFA: python-can -- Controller Area Network (CAN) interface module - Python modules Debian/GNU
Bug#1014519: RFA: python-canmatrix -- Handle CAN (Controller Area Network) database formats Debian/GNU
Bug#1014521: ITP: displaycal -- Graphical user interface for the Argyll CMS Christian Marillat
Bug#1014535: ITP: advene -- Annotate Digital Videos, Exchange on the NEt Olivier Aubert
Processed: bug 947957 has no owner, retitle 947957 to O: hexxagon -- Hexagonal Ataxx clone Debian Bug Tracking System
Bug#889240: marked as done (O: golang-github-gorilla-pat -- request router and dispatcher with a pat-like interface) Debian Bug Tracking System
Bug#1003838: marked as done (RFP: clapper -- minimalist GNOME media player) Debian Bug Tracking System
Bug#1013928: marked as done (ITP: golang-github-emersion-go-msgauth -- A Go library and tools for DKIM, DMARC and Authentication-Results) Debian Bug Tracking System
Bug#1010989: marked as done (ITP: nippy-clojure) Debian Bug Tracking System
Bug#1013961: marked as done (ITP: structured-logging-clojure) Debian Bug Tracking System
Bug#1011423: marked as done (ITP: qrtr -- Userspace reference implementation for the QRTR protocol) Debian Bug Tracking System
Bug#1014049: marked as done (ITP: rust-leptonica-sys -- FFI bindings for Leptonica) Debian Bug Tracking System
Bug#1014072: marked as done (ITP: python-srt -- Python library to handle SRT subtitle files) Debian Bug Tracking System
Bug#1014055: marked as done (ITP: pdm-pep517 -- Yet another PEP 517 backend for PDM projects) Debian Bug Tracking System
Bug#1014050: marked as done (ITP: rust-tesseract-sys -- Rust bindings for Tesseract OCR) Debian Bug Tracking System
Bug#1014075: marked as done (ITP: python-mapbox-earcut -- Python bindings for the Mapbox Earcut library) Debian Bug Tracking System
Bug#1014129: marked as done (ITP: cognitive-complexity -- Library to calculate Python functions cognitive complexity via code) Debian Bug Tracking System
Bug#968469: marked as done (ITP: resampy -- module for efficient signal resampling) Debian Bug Tracking System
Bug#1014558: ITP: python-duo-client -- Interact with the Duo Auth, Admin, and Accounts APIs Michael Fladischer
Processed: retitle Debian Bug Tracking System
Bug#1012761: marked as done (ITP: shtab -- generator for shell tab completion files for python projects) Debian Bug Tracking System
Bug#1004388: marked as done (ITP: python-inotify -- An adapter to Linux kernel support for inotify directory-watching) Debian Bug Tracking System
Bug#1013759: marked as done (ITP: golang-github-mattn-go-ciede2000 -- Go implementation of the CIE Delta E 2000 Color-Difference algorithm) Debian Bug Tracking System
Bug#1013425: marked as done (ITP: airspeed -- Python Airspeed is a powerful templating engine compatible with Velocity for Java) Debian Bug Tracking System
Bug#1014313: marked as done (ITP: golang-github-emersion-go-mbox -- Package mbox parses the mbox file format into messages and formats messages into mbox files) Debian Bug Tracking System
Bug#845482: marked as done (ITP: python-patch-ng -- patch utility to apply unified diffs) Debian Bug Tracking System
Bug#1014562: ITP: pook -- HTTP traffic mocking and testing made easy Guilherme de Paula Xavier Segundo
Bug#934151: RFS: python-tuf -- plug-and-play library for securing a software updater Bastian Germann
Processed: Re: Bug#919903: Package wxWidgets 3.1 Debian Bug Tracking System
Bug#1014572: ITP: coq-simple-io -- Coq plugin for purely functional IO Julien Puydt
Bug#1014579: RFP: librust-glium-dev -- Easy-to-use, high-level, OpenGL3+ wrapper. Dorota Czaplejewicz
Bug#1013284: ITA: grub-customizer -- GUI to configure GRUB2 and BURG 肖盛文
Bug#826282: marked as done (ITA: apngasm -- assemble APNG animation from PNG/TGA) Debian Bug Tracking System
Bug#1014583: ITP: coq-equations -- Coq library to work with functions defined by equations Julien Puydt
Bug#986997: marked as done (O: netkit-telnet -- basic telnet client) Debian Bug Tracking System
Bug#1014585: ITP: coq-stdpp -- Extended standard library for Coq Julien Puydt
Bug#1014591: ITP: tofi -- fast and simple dmenu / rofi replacement for wlroots-based Wayland compositors Birger Schacht
Processed: RFS: anacron/2.3-33 [ITA] -- cron-like program that doesn't go by time Debian Bug Tracking System
Bug#1013966: marked as done (ITP: golang-github-emersion-go-milter -- Go library to write mail filters) Debian Bug Tracking System
Bug#1014602: ITP: coq-menhirlib -- support library for verified Menhir parsers Julien Puydt
Processed: ITP: coq-menhirlib -- support library for verified Menhir parsers Debian Bug Tracking System
Bug#969371: marked as done (ITP: bioxtasraw -- process biological small angle scattering data) Debian Bug Tracking System
Bug#1014610: ITP: ott -- Ott tool Julien Puydt
Bug#1014614: ITP: flake8-cognitive-complexity -- flake8 plugin that validates cognitive complexity Edward Betts
Bug#856304: marked as done (ITA: xli -- command line tool for viewing images in X11) Debian Bug Tracking System
Bug#819476: marked as done (ITA: quotatool -- tool to edit disk quotas from the command line) Debian Bug Tracking System
Processed: owner 978403, retitle 978403 to ITP: jolokia -- remote JMX with JSON over HTTP Debian Bug Tracking System
Bug#1003397: ITP: rapidyaml -- a library to parse and emit YAML, and do it fast. M. Zhou
Bug#1013949: marked as done (ITP: coq-hott -- Coq library for homotopy type theory) Debian Bug Tracking System
Processed: RFP: rapidyaml -- a library to parse and emit YAML, and do it fast. Debian Bug Tracking System
Bug#732011: ITA: gyrus -- GNOME tool for Cyrus-IMAP servers administration Willem van den Akker
Bug#1014634: ITP: golang-github-iovisor-gobpf -- Go bindings for creating BPF programs. Domenico Andreoli
Processed: RFS: pook/1.0.2-1 [ITP] -- HTTP traffic mocking and testing made easy Debian Bug Tracking System
Bug#1014647: ITP: abpoa -- adaptive banded Partial Order Alignment Étienne Mollier
Bug#1014652: RFP: python3-loguru -- Python logging made (stupidly) easy c0repwn3r
Bug#925019: ITA: libgssglue Simon Josefsson
Bug#1013338: marked as done (ITP: optuna -- Hyperparameter optimization framework) Debian Bug Tracking System
Bug#1005777: marked as done (ITP: xmpp-dns -- A CLI tool to check XMPP SRV records) Debian Bug Tracking System
Bug#1013874: marked as done (ITP: django-cte -- Common Table Expressions (CTE) for Django) Debian Bug Tracking System
Bug#1013914: marked as done (ITP: flask-talisman -- HTTP security headers for Flask) Debian Bug Tracking System
Bug#1014067: marked as done (RFP: python-pdm -- next generation Python package management tool) Debian Bug Tracking System
Bug#989101: marked as done (ITP: libliftoff -- lightweight hardware composer library for libdrm) Debian Bug Tracking System
Bug#648436: marked as done (ITP: yaku-ns -- small footprint, trivial to configure, DNS server) Debian Bug Tracking System
Bug#969155: marked as done (ITP: icingadb -- database connector for Icinga) Debian Bug Tracking System
Processed (with 1 error): your mail Debian Bug Tracking System
Processed (with 1 error): Re: Debian Bug Tracking System
Bug#1014660: RFP: telegram-bot-api -- Telegram Bot API server Sarisan Sekoohaka
Bug#1014661: ITP: lodepng -- LodePNG is a PNG image decoder and encoder M. Zhou
Bug#1014664: RFP: easyrpg -- role playing game creation tools, compatible with RPG Maker 2000/2003 games michel
Bug#1014666: ITP: sphinx-multiversion -- Add support for multiple versions to sphinx Josenilson Ferreira da Silva
Bug#1014683: ITP: librole-hooks-perl -- role callbacks Étienne Mollier
Bug#1009713: RFP: netavark -- A container network stack Reinhard Tartler
SpamCop Abuse Report SpamCop
Processed: RFP: netavark -- A container network stack Debian Bug Tracking System
Bug#901868: Power Tools Company, top top
Bug#896927: Power Tools Company, top top
Processed: retitle 1009713 to ITP: netavark -- A container network stack Debian Bug Tracking System
Bug#1010470: marked as done (ITP: node-undici -- HTTP/1.1 client written from scratch for Node.js) Debian Bug Tracking System
Bug#1011005: marked as done (ITP: mintpy -- Miami INsar Time-series software in PYthon) Debian Bug Tracking System
Bug#919937: marked as done (ITP: riseup-vpn -- Minimal, easy to use vpn client) Debian Bug Tracking System
Processed: go-crypto update Debian Bug Tracking System
Bug#1014718: ITP: aardvark-dns -- A container-focused DNS server Reinhard Tartler
Processed: tagging 1009713 Debian Bug Tracking System
Processed: Bug#998029 marked as pending in flask-appbuilder Debian Bug Tracking System
Nur für echte Bösewichte: Emma Schlafprodukte zum Minions-Preis. Emma Matratze von HS
Processed: retitle 851746 to ITA: dh-exec -- Scripts to help with executable debhelper files, owner 851746 Debian Bug Tracking System
Processed: retitle 1003397 to ITP: rapidyaml -- a library to parse and emit YAML, and do it fast. Debian Bug Tracking System
Processed: owner 1003397 Debian Bug Tracking System
Bug#826284: marked as done (ITA: apngopt -- optimize APNG animated images) Debian Bug Tracking System
Bug#970613: ITP: photoprint -- Image printing utility Bastian Germann
Bug#1014752: ITP: libmodule-extract-version-perl -- module to extract a module version safely gregor herrmann
Bug#863325: ITA: pngnq -- tool for optimizing PNG (Portable Network Graphics) images 肖盛文
Bug#1014756: ITP: libcrypt-openssl-guess-perl -- module for guessing OpenSSL include path gregor herrmann
Bug#978403: marked as done (ITP: jolokia -- remote JMX with JSON over HTTP) Debian Bug Tracking System
Bug#1014775: ITP: awesomeversion -- Version parsing and comparison library for Python Edward Betts
Processed: blocks Debian Bug Tracking System
Bug#962932: ITP: plumpy -- Python workflows library Bastian Germann
Bug#1014786: ITP: lru-dict -- Dict like LRU container for Python Edward Betts
Bug#1014788: ITP: python-mock-open -- Better mock for file I/O Edward Betts
Bug#1014802: ITP: libmodule-build-pluggable-cpanfile-perl -- plugin for Module::Build::Pluggable to use cpanfiles gregor herrmann
Bug#907946: RFH: frama-c -- Platform dedicated to the analysis of source code written in C Niederheitmann Franz RDL UDAS62
Bug#1014812: RFP: tusd -- implementation of the tus resumable upload protocol Georg Faerber
Bug#1014814: ITP: onionprobe -- test/monitor tool for Tor Onion Services sites Georg Faerber
Bug#1014815: RFP: kiwipy -- Easy remote messaging using RabbitMQ Bastian Germann
Bug#1012151: marked as done (RFP: gopenpgp -- high-level OpenPGP built on top of golang crypto library) Debian Bug Tracking System
Bug#949126: marked as done (ITP: xraylarch -- X-ray absorption, fluorescence spectroscopy and diffraction data analysis) Debian Bug Tracking System
Bug#779893: some packaging progress Hans-Christoph Steiner
Processed: retitle 920842 to ITP: rav1e -- AV1 encoder written in Rust, owner 920842 Debian Bug Tracking System
Bug#1013284: marked as done (ITA: grub-customizer -- GUI to configure GRUB2 and BURG) Debian Bug Tracking System
Bug#1014850: O: python-imaplib2 -- Threaded Python IMAP4 client (Python 3) Ilias Tsitsimpis
Bug#1014861: ITP: django-polymodels -- Polymorphic models implementation for django Edward Betts
Bug#925019: marked as done (ITA: libgssglue) Debian Bug Tracking System
Bug#1014863: ITP: python-aiormq -- pure Python AMQP client library (Python 3) Guilherme de Paula Xavier Segundo
Bug#897138: marked as done (ITA: anacron -- cron-like program that doesn't go by time) Debian Bug Tracking System
Bug#1014881: ITP: libsyntax-keyword-multisub-perl -- multiple subroutine dispatch syntax extension gregor herrmann
Bug#1014883: RFP: Rambox -- all-in-one workspace organizer (Electron Based) Andrés Segarra
Bug#1014886: RFP: tvision -- modern port of Turbo Vision, a framework for text-based user interfaces Adam Borowski
Processed: RFP: rambox -- all-in-one workspace organizer (Electron Based) Debian Bug Tracking System
Bug#1014888: ITP: libutil-h2o-perl -- module to turn hashrefs into objects with accessors for keys gregor herrmann
Bug#1014890: RFP: python3-looseversion -- Version numbering for anarchists and software realists Yaroslav Halchenko
Bug#1014892: O: isa-support -- prevent installation on processors without required instructions Adam Borowski
Bug#1014898: ITP: gcompat -- The GNU C library compatibility layer for musl Nobuhiro Iwamatsu
Processed: ita 1014892 [wnpp] O: isa-support -- prevent installation on processors without required instructions Debian Bug Tracking System
Bug#1009779: marked as done (ITP: doas-portable -- A port of OpenBSD's doas which runs on FreeBSD, Linux, NetBSD, and illumos) Debian Bug Tracking System
Processed: limit package to wnpp, tagging 1006319 Debian Bug Tracking System
Bug#1014908: ITP: gender-guesser -- Guess the gender from first name Edward Betts
Bug#1014921: ITP: coq-iris -- high-order concurrent separation logic framework for Coq Julien Puydt
Bug#964752: Packaging gosop Martin Dosch
Bug#971971: nemo-audio-tab_5.2.0-1_i386.changes REJECTED Bastian Germann
Bug#1013368: marked as done (ITP: rocm-hipamd -- C++ Runtime API and Kernel Language for AMD and NVIDIA GPUs) Debian Bug Tracking System
Bug#981446: marked as done (ITA: logcheck -- mails anomalies in the system logfiles to the administrator) Debian Bug Tracking System
Bug#1014940: ITP: coqprime -- Primality certification for Coq Julien Puydt
Bug#798945: ITA: apvlv -- PDF viewer with Vim-like behaviour 肖盛文
Bug#1014059: marked as done (ITP: coq-math-classes -- Abstract interfaces for mathematical structures for Coq) Debian Bug Tracking System
Bug#732011: marked as done (ITA: gyrus -- GNOME tool for Cyrus-IMAP servers) Debian Bug Tracking System
Bug#1014955: ITP: coq-corn -- Coq Constructive Repository at Nijmegen Julien Puydt
Bug#1014965: ITP: coq-libhyps -- Tactics on hypotheses in Coq Julien Puydt
Bug#890004: (no subject) Patrick Schleizer
Bug#1014969: ITP: coq-gappa -- Coq tactic to use Gappa for floating-point goals Julien Puydt
Processed: RFP: carml -- command-line tool to query and control a running Tor Debian Bug Tracking System
Bug#1014973: ITP: coq-hammer -- automated reasoning tool for Coq Julien Puydt
Bug#970146: still blocked Matt Barry
Bug#1014975: ITP: coq-interval -- interval arithmetic for Coq Julien Puydt
Bug#951632: marked as done (ITP: coq-menhirlib -- Support library for verified Coq parsers produced by Menhir) Debian Bug Tracking System
Bug#1012831: marked as done (ITP: python-pypartpicker -- Fetch product and part list information from PCPartPicker) Debian Bug Tracking System
Bug#1013243: marked as done (ITP: hexbytes -- Python bytes subclass that decodes hex, with a readable console output) Debian Bug Tracking System
Bug#1013239: marked as done (ITP: python-gflanguages -- language-support categorization of the font families in the Google Fonts collection) Debian Bug Tracking System
Bug#985486: marked as done (ITP: python-pyepics -- EPICS channel access for Python) Debian Bug Tracking System
Bug#1011648: Packaging still pending julien . puydt
Bug#1014989: ITP: coq-unicoq -- enhanced unification algorithm for Coq Julien Puydt
Bug#1014991: ITP: coq-relation-algebra -- relation algebra for Coq Julien Puydt
Processed: retitle 1014445 to ITP: wordpress-plugin-authldap -- LDAP authentication-backend for wordpress Debian Bug Tracking System
Bug#1014993: ITP: coq-reglang -- representation of regular languages in Coq Julien Puydt
Bug#1014997: ITP: coq-unimath -- univalent formalization of mathematics for Coq Julien Puydt
Bug#1015000: ITP: coq-quickchick -- randomized testing framework for Coq Julien Puydt
Bug#982604: O: vim-ultisnips -- snippet solution for Vim Nicholas Guriev
Bug#1015010: ITP: coq-deriving -- deriving MathComp classes from inductive types Julien Puydt
Processed: O: vim-ultisnips -- snippet solution for Vim Debian Bug Tracking System
Bug#1015017: ITP: libnet-amazon-signature-v4-perl -- module for the Amazon Web Services signature version 4 gregor herrmann
Bug#1015018: ITP: coq-reduction-effects -- reduction effects for Coq Julien Puydt
Bug#1007766: Fwd: Bug#1007766: ITP: mppp -- C++11/14/17/20 library for multiprecision arithmetic Gürkan Myczko
Bug#1015020: ITP: coq-mtac2 -- Mtac2 tactic language for Coq Julien Puydt
The last update was on 20:20 GMT Sun Jul 31. There are 803 messages. Page 1 of 2.
[Date Index]
[Subject Index]
[Author Index]
[Other Debian Lists]
[Debian Home]
Mail converted by MHonArc