debian-wnpp Jul 2022 by subject

[First Page] <
[previous page] 		Page 1 of 2 >
[next page] 		[Last Page]

[Thread Index] [Date Index] [Author Index] [Other Debian Lists] [Debian Home]
Nur für echte Bösewichte: Emma Schlafprodukte zum Minions-Preis. Bug#1001214: Getting EFI Boot Guard into Debian Bug#1003101: marked as done (ITP: opengnb -- via P2P to setup de-centralized layer3 network VPN) Bug#1003128: ITP: wasmedge -- High performance WebAssembly Virtual Machine Bug#1003397: Bug#1003397: ITP: rapidyaml -- a library to parse and emit YAML, and do it fast. Bug#1003545: marked as done (ITP: concurrent-log-handler -- An additional log handler for Python's standard logging package) Bug#1003838: marked as done (RFP: clapper -- minimalist GNOME media player) Bug#1003950: marked as done (ITP: pyobjcryst -- Object-Oriented Crystallographic Library Python3 bindings) Bug#1004388: marked as done (ITP: python-inotify -- An adapter to Linux kernel support for inotify directory-watching) Bug#1004388: RFP: python3-inotify -- An adapter to Linux kernel support for inotify directory-watching Bug#1004899: ITP: numberstation -- TOTP Authenticator application Bug#1004899: marked as done (ITP: numberstation -- TOTP Authenticator application) Bug#1004942: ITP: glyphsets -- Python API for evaluating glyph sets in font projects Bug#1005777: marked as done (ITP: xmpp-dns -- A CLI tool to check XMPP SRV records) Bug#1006319: marked as done (ITP: php-league-csv -- CSV data manipulation made easy in PHP) Bug#1006533: marked as done (ITP: libshumate -- libshumate is a C library providing a GtkWidget to display maps) Bug#1006601: marked as done (ITP: qvge -- Qt Visual Graph Editor) Bug#1006663: marked as done (ITP: pyrcb2 -- A powerful asynchronous IRC bot library) Bug#1006888: ITP: sasl-xoauth2 -- XOAUTH2 plugin for libsasl2 Bug#1007025: I want to join the DPT Bug#1007742: ITP: solo2 -- command line interface for SoloKeys Solo 2 security key Bug#1007766: Fwd: Bug#1007766: ITP: mppp -- C++11/14/17/20 library for multiprecision arithmetic Bug#1007814: ITP: spek -- acoustic spectrum analyser Bug#1007860: marked as done (O: spinner-el -- spinner for the Emacs modeline for operations in progress) Bug#1007867: marked as done (O: parsebib -- Emacs Lisp library for parsing .bib files) Bug#1008016: ITP: safe-network -- network routing and service daemon for the Safe Network Bug#1008816: ITP: kwin-bismuth -- KDE Plasma extension for tiling windows Bug#1009304: marked as done (ITP: libjxl-testdata -- Data test suite for libjxl) Bug#1009713: marked as done (ITP: netavark -- A container network stack) Bug#1009713: RFP: netavark -- A container network stack Bug#1009779: marked as done (ITP: doas-portable -- A port of OpenBSD's doas which runs on FreeBSD, Linux, NetBSD, and illumos) Bug#1009975: marked as done (O: libgsm -- Shared libraries for GSM speech compressor) Bug#1010213: marked as done (ITP: python-flask-seeder) Bug#1010247: ITP: greetd -- minimal and flexible login manager daemon Bug#1010470: marked as done (ITP: node-undici -- HTTP/1.1 client written from scratch for Node.js) Bug#1010989: marked as done (ITP: nippy-clojure) Bug#1010997: marked as done (ITP: r-cran-leidenbase -- GNU R and C/C++ Wrappers to Run the Leiden find_partition() Function) Bug#1011005: marked as done (ITP: mintpy -- Miami INsar Time-series software in PYthon) Bug#1011423: marked as done (ITP: qrtr -- Userspace reference implementation for the QRTR protocol) Bug#1011564: ITA: bvi -- binary file editor Bug#1011564: marked as done (ITA: bvi -- binary file editor) Bug#1011572: ITA: toilet -- display large colourful characters in text mode Bug#1011591: marked as done (ITP: ytfzf -- POSIX script to find and watch youtube videos from the terminal.(Without API)) Bug#1011648: Packaging still pending Bug#1011667: marked as done (ITP: mujoco -- A general purpose physics simulator.) Bug#1012050: marked as done (ITP: alpine-chroot-install -- bootstrap Alpine Linux into a chroot) Bug#1012151: marked as done (RFP: gopenpgp -- high-level OpenPGP built on top of golang crypto library) Bug#1012251: marked as done (ITP: golang-github-coredns-coredns -- CoreDNS is a DNS server/forwarder, written in Go, that chains plugins. Each plugin performs a (DNS) function.) Bug#1012460: Map applications not yet in Debian Bug#1012740: marked as done (ITP: ffcv -- Fast Forward Computer Vision (and other ML workloads)) Bug#1012761: ITP: shtab -- generator for shell tab completion files for python projects Bug#1012761: marked as done (ITP: shtab -- generator for shell tab completion files for python projects) Bug#1012831: marked as done (ITP: python-pypartpicker -- Fetch product and part list information from PCPartPicker) Bug#1013110: marked as done (ITP: rapiddisk -- Linux RAM Drive and Caching kernel modules (DKMS)) Bug#1013176: marked as done (ITP: group-service -- Manage local user groups via DBus) Bug#1013177: marked as done (ITP: mate-user-admin -- MATE User Manager) Bug#1013226: marked as done (RFP: python-stringcase -- Convert strings between camel case, pascal case, snake case etc.) Bug#1013239: marked as done (ITP: python-gflanguages -- language-support categorization of the font families in the Google Fonts collection) Bug#1013243: marked as done (ITP: hexbytes -- Python bytes subclass that decodes hex, with a readable console output) Bug#1013284: ITA: grub-customizer -- GUI to configure GRUB2 and BURG Bug#1013284: marked as done (ITA: grub-customizer -- GUI to configure GRUB2 and BURG) Bug#1013337: marked as done (ITP: python-cmaes -- Python implementation of CMA-ES algorithms) Bug#1013338: marked as done (ITP: optuna -- Hyperparameter optimization framework) Bug#1013368: marked as done (ITP: rocm-hipamd -- C++ Runtime API and Kernel Language for AMD and NVIDIA GPUs) Bug#1013372: marked as done (ITP: coq-dpdgraph -- Coq plugin to extract dependencies between Coq objects) Bug#1013373: ITA: python-matrix-nio -- python no-IO library for the matrix chat protocol - Python3 library Bug#1013373: marked as done (ITA: python-matrix-nio -- python no-IO library for the matrix chat protocol - Python3 library) Bug#1013425: ITP: wnpp -- Python Airspeed is a powerful templating engine compatible with Velocity for Java Bug#1013425: marked as done (ITP: airspeed -- Python Airspeed is a powerful templating engine compatible with Velocity for Java) Bug#1013759: marked as done (ITP: golang-github-mattn-go-ciede2000 -- Go implementation of the CIE Delta E 2000 Color-Difference algorithm) Bug#1013799: marked as done (ITP: phosh-mobile-settings -- Application to configure mobile settings for Phosh) Bug#1013874: marked as done (ITP: django-cte -- Common Table Expressions (CTE) for Django) Bug#1013914: marked as done (ITP: flask-talisman -- HTTP security headers for Flask) Bug#1013915: marked as done (ITP: rust-hyper-rustls -- rustls+hyper integration for pure rust HTTPS) Bug#1013923: marked as done (ITP: python-banal -- Commons of banal micro-functions for Python) Bug#1013928: marked as done (ITP: golang-github-emersion-go-msgauth -- A Go library and tools for DKIM, DMARC and Authentication-Results) Bug#1013945: marked as done (ITP: flake8-black -- flake8 plugin to call black as a code style validator) Bug#1013949: marked as done (ITP: coq-hott -- Coq library for homotopy type theory) Bug#1013956: marked as done (ITP: logstash-logback-encoder) Bug#1013961: marked as done (ITP: structured-logging-clojure) Bug#1013963: marked as done (ITP: coq-ext-lib -- Collection of theories and plugins for Coq) Bug#1013965: marked as done (ITP: coqeal -- algebra and data structure algorithms for Coq) Bug#1013966: marked as done (ITP: golang-github-emersion-go-milter -- Go library to write mail filters) Bug#1013971: marked as done (ITP: ormar -- async ORM with fastapi in mind and pydantic validation) Bug#1013975: marked as done (ITP: r-cran-enrichwith -- GNU R methods to enrich R Objects with extra components) Bug#1013980: marked as done (ITP: pytest-golden -- Plugin for pytest that offloads expected outputs to data files) Bug#1013987: marked as done (ITP: r-cran-brglm2 -- GNU R bias reduction in generalized linear models) Bug#1013992: ITP: session-migration -- tool to migrate in user session settings Bug#1014039: marked as done (ITP: xyzservices -- Source of XYZ tiles providers) Bug#1014049: marked as done (ITP: rust-leptonica-sys -- FFI bindings for Leptonica) Bug#1014050: marked as done (ITP: rust-tesseract-sys -- Rust bindings for Tesseract OCR) Bug#1014055: marked as done (ITP: pdm-pep517 -- Yet another PEP 517 backend for PDM projects) Bug#1014059: marked as done (ITP: coq-math-classes -- Abstract interfaces for mathematical structures for Coq) Bug#1014067: marked as done (RFP: python-pdm -- next generation Python package management tool) Bug#1014072: marked as done (ITP: python-srt -- Python library to handle SRT subtitle files) Bug#1014075: marked as done (ITP: python-mapbox-earcut -- Python bindings for the Mapbox Earcut library) Bug#1014076: marked as done (ITP: gappa -- Automatic generation of proofs of arithmetic properties) Bug#1014093: ITP: vobsubocr -- subtitle converter from DVD VOB to SRT Bug#1014096: RM: rust-common-failures -- ROM; needs removed rust-failure Bug#1014116: marked as done (ITP: node-data-uri-to-buffer -- Generate a Buffer instance from a Data URI string) Bug#1014118: marked as done (ITP: ocaml-pprint -- Pretty printing toolbox for OCaml) Bug#1014129: marked as done (ITP: cognitive-complexity -- Library to calculate Python functions cognitive complexity via code) Bug#1014151: ITP: freenom-script -- Script to Freenom.com Domain Renewal and update Dynamic DNS Bug#1014151: New link to Salsa:braulio/freenom-script Bug#1014159: ITP: eprover -- Equational theorem prover Bug#1014159: marked as done (ITP: eprover -- Equational theorem prover) Bug#1014170: O: surfraw -- fast unix command line interface to WWW Bug#1014171: O: gnuit -- GNU Interactive Tools, a file browser/viewer and process viewer/killer Bug#1014174: ITP: node-rollup-plugin-typescript2 -- rollup plugin for typescript with compiler errors Bug#1014174: marked as done (ITP: node-rollup-plugin-typescript2 -- rollup plugin for typescript with compiler errors) Bug#1014194: ITP: liblarch -- a Python library to easily handle data structures Bug#1014194: marked as done (ITP: liblarch -- a Python library to easily handle data structures) Bug#1014195: ITP: gtg -- Getting Things Gnome!, an organizer for the GNOME desktop environment Bug#1014204: ITP: bellhop -- predict acoustic pressure fields in ocean environments Bug#1014210: ITP: libslow5lib -- library for reading & writing SLOW5 files Bug#1014210: marked as done (ITP: libslow5lib -- library for reading & writing SLOW5 files) Bug#1014220: ITP: yambar -- lightweight and configurable status panel (bar, for short) for X11 and Wayland Bug#1014220: marked as done (ITP: yambar -- lightweight and configurable status panel (bar, for short) for X11 and Wayland) Bug#1014223: ITP: rust-smol -- small and fast async runtime Bug#1014223: marked as done (ITP: rust-smol -- small and fast async runtime) Bug#1014224: ITP: async-channel -- async multi-producer multi-consumer channel Bug#1014224: marked as done (ITP: async-channel -- async multi-producer multi-consumer channel) Bug#1014225: ITP: rust-async-executor -- async executors Bug#1014225: marked as done (ITP: rust-async-executor -- async executors) Bug#1014227: ITP: rust-async-fs -- async filesystem primitives Bug#1014227: marked as done (ITP: rust-async-fs -- async filesystem primitives) Bug#1014228: ITP: rust-async-lock -- async synchronization primitives Bug#1014228: marked as done (ITP: rust-async-lock -- async synchronization primitives) Bug#1014229: ITP: rust-async-net -- async networking primitives Bug#1014229: marked as done (ITP: rust-async-net -- async networking primitives) Bug#1014230: ITP: findpython -- utility to find python versions on your system Bug#1014230: marked as done (ITP: findpython -- utility to find python versions on your system) Bug#1014231: ITP: rust-async-process -- async interface for working with processes Bug#1014231: marked as done (ITP: rust-async-process -- async interface for working with processes) Bug#1014232: ITP: rust-easy-parallel -- run closures in parallel Bug#1014232: marked as done (ITP: rust-easy-parallel -- run closures in parallel) Bug#1014233: ITP: rust-event-listener -- notify async tasks or threads Bug#1014233: marked as done (ITP: rust-event-listener -- notify async tasks or threads) Bug#1014236: ITP: rust-async-task -- task abstraction for building executors Bug#1014236: marked as done (ITP: rust-async-task -- task abstraction for building executors) Bug#1014240: ITP: rust-blocking -- thread pool for isolating blocking I/O Bug#1014240: marked as done (ITP: rust-blocking -- thread pool for isolating blocking I/O) Bug#1014251: ITP: unearth -- utility to fetch and download python packages Bug#1014251: marked as done (ITP: unearth -- utility to fetch and download python packages) Bug#1014257: ITP: qtxdg-tools -- separated from libqtxdg Bug#1014257: marked as done (ITP: qtxdg-tools -- separated from libqtxdg) Bug#1014263: ITP: mtkclient -- Unofficial MTK reverse engineering and flash tool Bug#1014267: ITP: icingadb-web -- Icinga DB Web for Icinga Web 2 Bug#1014267: marked as done (ITP: icingadb-web -- Icinga DB Web for Icinga Web 2) Bug#1014273: ITP: pastaignore -- makes gitignores easier Bug#1014297: ITP: pytoolconfig -- Python Tool Configuration Bug#1014297: marked as done (ITP: pytoolconfig -- Python Tool Configuration) Bug#1014313: ITP: golang-github-emersion-go-mbox -- Package mbox parses the mbox file format into messages and formats messages into mbox files 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) Bug#1014317: ITP: yarsync -- file synchronization and backup tool Bug#1014325: ITP: megapixels-postprocessd -- Image processing utility meant as companion for megapixels application Bug#1014328: RFP: soju -- user-friendly IRC bouncer Bug#1014339: ITP: rust-rmp -- pure Rust MessagePack serialization Bug#1014344: ITP: gatk-bwamem -- interface to call Heng Li's bwa mem aligner from Java code Bug#1014344: marked as done (ITP: gatk-bwamem -- interface to call Heng Li's bwa mem aligner from Java code) Bug#1014348: ITP: golang-github-go-macaroon-bakery-macaroon-bakery -- High level operations for building systems with macaroons (library) Bug#1014348: marked as done (ITP: golang-github-go-macaroon-bakery-macaroon-bakery -- High level operations for building systems with macaroons (library)) Bug#1014350: Disowning the package Bug#1014350: ITP: nuxhash -- NiceHash cryptocurrency mining client for Linux Bug#1014363: ITP: bash-it -- collection of community Bash commands and scripts for Bash Bug#1014367: ITP: xmrig-cuda -- NVIDIA CUDA plugin for XMRig Bug#1014372: ITP: journal-brief -- Show interesting new systemd journal entries Bug#1014372: marked as done (ITP: journal-brief -- Show interesting new systemd journal entries) Bug#1014386: RFA: db5.3 -- Berkeley v5.3 Database Libraries [runtime] Bug#1014387: RFA: db-defaults Bug#1014388: marked as done (ITA: py-lmdb -- Python 3 binding for LMDB Lightning Memory-Mapped Database) Bug#1014388: RFA: py-lmdb Bug#1014399: ITP: mkdocs-section-index -- Plugin for MkDocs to allow clickable sections that lead to an index page Bug#1014399: marked as done (ITP: mkdocs-section-index -- Plugin for MkDocs to allow clickable sections that lead to an index page) Bug#1014403: RFH: slony1-2 -- replication system for PostgreSQL Bug#1014406: ITP: oci-seccomp-bpf-hook -- OCI hook to trace syscalls and generate a seccomp profile Bug#1014408: RFP: echarts -- powerful, interactive charting and data visualization library for browser Bug#1014415: ITP: dispatch -- incident management tool Bug#1014418: ITP: libelas -- Library for Efficient Large-scale Stereo Matching Bug#1014418: marked as done (ITP: libelas -- Library for Efficient Large-scale Stereo Matching) Bug#1014440: ITP: terraform-switcher -- switch between different versions of terraform Bug#1014445: ITP:wordpress-plugin-authldap -- LDAP authentication-backend for wordpress Bug#1014449: ITP: python-sarif-python-om -- Python classes for the SARIF object model Bug#1014449: ITP: sarif-python-om -- Python classes for the SARIF object model Bug#1014449: marked as done (ITP: sarif-python-om -- Python classes for the SARIF object model) Bug#1014457: ITP: haddock3 -- High Ambiguity Driven biomolecular DOCKing Bug#1014479: RFP: bun -- All in one JavaScript runtime written in zig language Bug#1014498: ITP: phosh-antispam -- Automatically hang up on spam calls Bug#1014504: ITP: ojalgo -- Java library to do mathematics, linear algebra and optimisation Bug#1014504: marked as done (ITP: ojalgo -- Java library to do mathematics, linear algebra and optimisation) 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) Bug#1014508: marked as done (ITP: python-pook -- HTTP traffic mocking and testing made easy (Python 3)) Bug#1014513: ITP: pdb-tools -- tools for manipulating and editing PDB files Bug#1014513: marked as done (ITP: pdb-tools -- tools for manipulating and editing PDB files) Bug#1014518: RFA: python-can -- Controller Area Network (CAN) interface module - Python modules Bug#1014519: RFA: python-canmatrix -- Handle CAN (Controller Area Network) database formats Bug#1014521: ITP: displaycal -- Graphical user interface for the Argyll CMS Bug#1014535: ITP: advene -- Annotate Digital Videos, Exchange on the NEt Bug#1014558: ITP: python-duo-client -- Interact with the Duo Auth, Admin, and Accounts APIs Bug#1014558: marked as done (ITP: python-duo-client -- Interact with the Duo Auth, Admin, and Accounts APIs) Bug#1014562: ITP: pook -- HTTP traffic mocking and testing made easy Bug#1014572: ITP: coq-simple-io -- Coq plugin for purely functional IO Bug#1014572: marked as done (ITP: coq-simple-io -- Coq plugin for purely functional IO) Bug#1014579: RFP: librust-glium-dev -- Easy-to-use, high-level, OpenGL3+ wrapper. Bug#1014583: ITP: coq-equations -- Coq library to work with functions defined by equations Bug#1014583: marked as done (ITP: coq-equations -- Coq library to work with functions defined by equations) Bug#1014585: ITP: coq-stdpp -- Extended standard library for Coq Bug#1014585: marked as done (ITP: coq-stdpp -- Extended standard library for Coq) Bug#1014591: ITP: tofi -- fast and simple dmenu / rofi replacement for wlroots-based Wayland compositors Bug#1014591: marked as done (ITP: tofi -- fast and simple dmenu / rofi replacement for wlroots-based Wayland compositors) Bug#1014602: ITP: coq-menhirlib -- support library for verified Menhir parsers Bug#1014602: marked as done (ITP: coq-menhirlib -- support library for verified Menhir parsers) Bug#1014610: ITP: ott -- Ott tool Bug#1014610: marked as done (ITP: ott -- Ott tool) Bug#1014614: ITP: flake8-cognitive-complexity -- flake8 plugin that validates cognitive complexity Bug#1014614: marked as done (ITP: flake8-cognitive-complexity -- flake8 plugin that validates cognitive complexity) Bug#1014634: ITP: golang-github-iovisor-gobpf -- Go bindings for creating BPF programs. Bug#1014647: ITP: abpoa -- adaptive banded Partial Order Alignment Bug#1014647: marked as done (ITP: abpoa -- adaptive banded Partial Order Alignment) Bug#1014652: marked as done (ITP: python-loguru -- Python logging made (stupidly) easy) Bug#1014652: RFP: python3-loguru -- Python logging made (stupidly) easy Bug#1014660: RFP: telegram-bot-api -- Telegram Bot API server Bug#1014661: ITP: lodepng -- LodePNG is a PNG image decoder and encoder Bug#1014661: marked as done (ITP: lodepng -- LodePNG is a PNG image decoder and encoder) Bug#1014664: marked as done (RFP: easyrpg -- role playing game creation tools, compatible with RPG Maker 2000/2003 games) Bug#1014664: RFP: easyrpg -- role playing game creation tools, compatible with RPG Maker 2000/2003 games Bug#1014666: ITP: sphinx-multiversion -- Add support for multiple versions to sphinx Bug#1014683: ITP: librole-hooks-perl -- role callbacks Bug#1014683: marked as done (ITP: librole-hooks-perl -- role callbacks) Bug#1014718: ITP: aardvark-dns -- A container-focused DNS server Bug#1014752: ITP: libmodule-extract-version-perl -- module to extract a module version safely Bug#1014752: marked as done (ITP: libmodule-extract-version-perl -- module to extract a module version safely) Bug#1014756: ITP: libcrypt-openssl-guess-perl -- module for guessing OpenSSL include path Bug#1014756: marked as done (ITP: libcrypt-openssl-guess-perl -- module for guessing OpenSSL include path) Bug#1014775: ITP: awesomeversion -- Version parsing and comparison library for Python Bug#1014775: marked as done (ITP: awesomeversion -- Version parsing and comparison library for Python) Bug#1014786: ITP: lru-dict -- Dict like LRU container for Python Bug#1014786: marked as done (ITP: lru-dict -- Dict like LRU container for Python) Bug#1014788: ITP: python-mock-open -- Better mock for file I/O Bug#1014788: marked as done (ITP: python-mock-open -- Better mock for file I/O) Bug#1014802: ITP: libmodule-build-pluggable-cpanfile-perl -- plugin for Module::Build::Pluggable to use cpanfiles Bug#1014802: marked as done (ITP: libmodule-build-pluggable-cpanfile-perl -- plugin for Module::Build::Pluggable to use cpanfiles) Bug#1014812: RFP: tusd -- implementation of the tus resumable upload protocol Bug#1014814: [Pkg-privacy-maintainers] Bug#1014814: ITP: onionprobe -- test/monitor tool for Tor Onion Services sites Bug#1014814: ITP: onionprobe -- test/monitor tool for Tor Onion Services sites Bug#1014814: marked as done (ITP: onionprobe -- test/monitor tool for Tor Onion Services sites) Bug#1014815: kiwipy initial packaging Bug#1014815: RFP: kiwipy -- Easy remote messaging using RabbitMQ Bug#1014850: O: python-imaplib2 -- Threaded Python IMAP4 client (Python 3) Bug#1014861: ITP: django-polymodels -- Polymorphic models implementation for django Bug#1014861: marked as done (ITP: django-polymodels -- Polymorphic models implementation for django) Bug#1014863: ITP: python-aiormq -- pure Python AMQP client library (Python 3) Bug#1014863: marked as done (ITP: python-aiormq -- pure Python AMQP client library (Python 3)) Bug#1014881: ITP: libsyntax-keyword-multisub-perl -- multiple subroutine dispatch syntax extension Bug#1014881: marked as done (ITP: libsyntax-keyword-multisub-perl -- multiple subroutine dispatch syntax extension) Bug#1014883: RFP: Rambox -- all-in-one workspace organizer (Electron Based) Bug#1014886: RFP: tvision -- modern port of Turbo Vision, a framework for text-based user interfaces Bug#1014888: ITP: libutil-h2o-perl -- module to turn hashrefs into objects with accessors for keys Bug#1014888: marked as done (ITP: libutil-h2o-perl -- module to turn hashrefs into objects with accessors for keys) Bug#1014890: RFP: python3-looseversion -- Version numbering for anarchists and software realists Bug#1014892: O: isa-support -- prevent installation on processors without required instructions Bug#1014898: ITP: gcompat -- The GNU C library compatibility layer for musl Bug#1014908: ITP: gender-guesser -- Guess the gender from first name Bug#1014921: ITP: coq-iris -- high-order concurrent separation logic framework for Coq Bug#1014921: marked as done (ITP: coq-iris -- high-order concurrent separation logic framework for Coq) Bug#1014940: ITP: coqprime -- Primality certification for Coq Bug#1014940: marked as done (ITP: coqprime -- Primality certification for Coq) Bug#1014955: ITP: coq-corn -- Coq Constructive Repository at Nijmegen Bug#1014955: marked as done (ITP: coq-corn -- Coq Constructive Repository at Nijmegen) Bug#1014965: ITP: coq-libhyps -- Tactics on hypotheses in Coq Bug#1014969: ITP: coq-gappa -- Coq tactic to use Gappa for floating-point goals Bug#1014973: ITP: coq-hammer -- automated reasoning tool for Coq Bug#1014973: marked as done (ITP: coq-hammer -- automated reasoning tool for Coq) Bug#1014975: ITP: coq-interval -- interval arithmetic for Coq Bug#1014989: ITP: coq-unicoq -- enhanced unification algorithm for Coq Bug#1014991: ITP: coq-relation-algebra -- relation algebra for Coq Bug#1014993: ITP: coq-reglang -- representation of regular languages in Coq Bug#1014993: marked as done (ITP: coq-reglang -- representation of regular languages in Coq) Bug#1014997: ITP: coq-unimath -- univalent formalization of mathematics for Coq Bug#1014997: marked as done (ITP: coq-unimath -- univalent formalization of mathematics for Coq) Bug#1015000: ITP: coq-quickchick -- randomized testing framework for Coq Bug#1015000: marked as done (ITP: coq-quickchick -- randomized testing framework for Coq) Bug#1015010: ITP: coq-deriving -- deriving MathComp classes from inductive types Bug#1015010: marked as done (ITP: coq-deriving -- deriving MathComp classes from inductive types) Bug#1015017: ITP: libnet-amazon-signature-v4-perl -- module for the Amazon Web Services signature version 4 Bug#1015017: marked as done (ITP: libnet-amazon-signature-v4-perl -- module for the Amazon Web Services signature version 4) Bug#1015018: ITP: coq-reduction-effects -- reduction effects for Coq Bug#1015020: ITP: coq-mtac2 -- Mtac2 tactic language for Coq Bug#1015021: ITP: coq-extructures -- data structures with extensional reasoning for Coq Bug#1015021: marked as done (ITP: coq-extructures -- data structures with extensional reasoning for Coq) Bug#1015022: ITP: rust-crdts -- practical, serializable, thoroughly tested CRDTs Bug#1015022: marked as done (ITP: rust-crdts -- practical, serializable, thoroughly tested CRDTs) Bug#1015142: RFP: presets -- python module to manipulate default function parameters Bug#1015152: ITP: mir-eval -- Common metrics for common audio/music processing tasks Bug#1015165: ITP: coq-record-update -- automatic record fields updaters for Coq Bug#1015165: marked as done (ITP: coq-record-update -- automatic record fields updaters for Coq) Bug#1015173: ITP: pwncat -- reverse shell handler with all netcat features Bug#1015186: ITP: jruby-rake -- ruby make-like utility - jruby version Bug#1015190: ITP: phom -- Virtual mouse for phosh Bug#1015204: ITP: sunpy-sphinx-theme -- Sphinx theme for SunPy and its affiliated packages Bug#1015204: marked as done (ITP: sunpy-sphinx-theme -- Sphinx theme for SunPy and its affiliated packages) Bug#1015206: O: binutils-riscv64-unknown-elf -- GNU assembler, linker and binary utilities for RISC-V processors Bug#1015208: O: gcc-riscv64-unknown-elf -- GCC compiler for embedded RISC-V chips Bug#1015226: ITP: i3lock-color -- Modern version of i3lock with color functionality Bug#1015235: ITP: openmesh -- A generic and efficient polygon mesh data structure Bug#1015241: ITP: irssi-plugin-rocketchat -- plugin for irssi to connect to rocketchat instance Bug#1015262: ITP: rust-retry -- utilities for retrying operations that can fail Bug#1015262: marked as done (ITP: rust-retry -- utilities for retrying operations that can fail) Bug#1015267: ITP: qtile -- A full-featured, hackable tiling window manager written and configured in Python Bug#1015269: ITP: gnome-shell-extension-runcat -- desktop icon for showing CPU usage with cats Bug#1015278: ITP: python-pywlroots -- Python binding to the wlroots library using cffi Bug#1015279: ITP: python-pywayland -- provides Python bindings to the Wayland library Bug#1015292: ITP: meshroom -- A free, open-source 3D Reconstruction Software based on AliceVision Bug#1015298: ITP:wp-cli -- Wordpress LDAP authentication plugin Bug#1015298: marked as done (ITP:wp-cli -- Wordpress LDAP authentication plugin) Bug#1015300: ITP:wp-cli -- Command-line interface for WordPress Bug#1015318: ITP: autoflake -- Removes unused imports and unused variables in Python code Bug#1015324: ITP: synphot -- Simulate photometric data ans spectra in astronomy Bug#1015324: marked as done (ITP: synphot -- Simulate photometric data ans spectra in astronomy) Bug#1015342: node-netmask -- Parse and lookup IP network blocks Bug#1015343: ITP: pyproject-metadata -- Dataclass for PEP 621 metadata with support for core metadata generation Bug#1015716: ITP: alicevision -- A photogrammetric computer vision framework which provides a 3d reconstruction and camera tracking algorithms Bug#1015720: ITP: sqlalchemy-utc -- SQLAlchemy type to store timezone aware datetime values Bug#1015723: ITP: ement-el -- Matrix client for Emacs Bug#1015723: marked as done (ITP: ement-el -- Matrix client for Emacs) Bug#1015724: ITP: plz-el -- HTTP library for Emacs Bug#1015724: marked as done (ITP: plz-el -- HTTP library for Emacs) Bug#1015725: ITP: taxy-el -- Programmable taxonomical grouping for arbitrary objects for Emacs Bug#1015725: marked as done (ITP: taxy-el -- Programmable taxonomical grouping for arbitrary objects for Emacs) Bug#1015726: ITP: emacs-svg-lib -- SVG tags, progress bars & icons for Emacs Bug#1015727: ITP: taxy-magit-section-el -- View Taxy structs in a Magit Section buffer Bug#1015727: marked as done (ITP: taxy-magit-section-el -- View Taxy structs in a Magit Section buffer) Bug#1015729: ITP: org-make-toc -- automatic tables of contents for Org files Bug#1015735: ITP: lomiri-indicator-network -- (Ayatana) system indicator especially for the Lomiri Operating Environment Bug#1015739: ITP: MeshSDFilter -- Implements a mesh normal filtering algorithm Bug#1015746: ITP: r-cran-fontawesome -- GNU R support of 'Font Awesome' Icons Bug#1015746: marked as done (ITP: r-cran-fontawesome -- GNU R support of 'Font Awesome' Icons) Bug#1015752: ITP: sop-java Bug#1015757: ITP: python-aio-pika -- AMQP client designed for asyncio and humans Bug#1015760: ITP: eyes17-manuals -- Eyes17 User Manuals Bug#1015761: ITP: geogram -- A programming library with geometric algorithms Bug#1015773: O: gitbrute -- brute-force a git commit hash Bug#1015797: ITP: chibicc -- small C compiler Bug#1015798: RFP: battop -- interactive batteries viewer Bug#1015802: RFP: qrcp -- transfer files by qrcode Bug#1015811: ITP: autoimport -- Autoimport missing python libraries Bug#1015820: ITP: amgcl -- C header-only C++ library for solving large sparse linear systems with algebraic multigrid method Bug#1015824: ITP: python-catalogue -- Lightweight function registries for your library Bug#1015830: ITP: python-update-checker -- Python module that checks for package updates Bug#1015834: ITP: picklecast -- Share your screen to a projector with only a web-browser Bug#1015836: ITP: musl-obstack -- GNU gcc libiberty library for use with musl libc Bug#1015838: ITP: specreduce-data -- Test and reference data for the specreduce package Bug#1015840: ITP: golang-github-eiannone-keyboard -- listen for keystrokes from the keyboard (library) Bug#1015843: O: dianara -- client for the pump.io federated social network Bug#1015844: O: gpscorrelate -- correlates digital photos with GPS data filling EXIF fields (command line) Bug#1015845: about gtkhash ITA Bug#1015845: O: gtkhash -- GTK+ utility for computing checksums and more Bug#1015846: O: slick -- responsive carousel jQuery plugin Bug#1015847: O: unhtml -- Remove the markup tags from an HTML file Bug#1015848: O: xmlstarlet -- command line XML toolkit Bug#1015849: O: xsol -- Solitaire game for the X Window system Bug#1015857: ITP: parmed -- parameter and topology file editor and molecular mechanical simulator Bug#1015858: ITP: php-zumba-json-serializer -- Json Serializer for PHP Bug#1015863: ITP: qt6ct -- Qt6 Configuration Tool Bug#1015867: Bug#1015867: ITP: golang-github-glendc-go-external-ip -- get your external ip from multiple services Bug#1015880: ITP: xdp-tools -- Library and utilities for use with XDP Bug#1015890: ITP: r-cran-urlchecker -- run CRAN URL checks from older GNU R versions Bug#1015891: ITP: wayout -- Wayland desktop widgets from standard input text Bug#1015898: I would love to see FoxDot in Debian Bug#1015898: ITP: FoxDot -- Live Coding with Python Bug#1015904: ITP: r-cran-profvis -- interactive visualizations for profiling GNU R code Bug#1015904: r-cran-profvis_0.3.7+dfsg-1_amd64.changes REJECTED Bug#1015904: r-cran-urlchecker_1.0.1-1_amd64.changes REJECTED Bug#1015909: ITP: python3-pytest-datafiles -- pytest plugin to create a tmpdir containing a preconfigured set of files and/or directories. Bug#1015926: ITP: persalys -- GUI for uncertainty treatment and variabilities management Bug#1015957: ITP: junit5-system-exit Bug#1015960: RFP: tut -- A TUI for Mastodon with vim inspired keys Bug#1015961: RFP: miraclecast -- The MiracleCast project provides software to connect external monitors to your system via Wi-Fi. Bug#1015971: ITP: pamixer -- pulseaudio command line mixer Bug#1015988: ITP: bleak -- Bluetooth Low Energy platform agnostic client for Python Bug#1016011: ITP: pd-mapper -- Qualcomm PD mapper service Bug#1016012: ITP: rmtfs -- Qualcomm Remote Filesystem Service implementation Bug#1016013: ITP: tqftpserv -- TFTP server implementation for the QRTR protocol Bug#1016016: ITP: maliit-inputcontext-gtk -- Maliit Inputcontext for GTK applications Bug#1016018: ITP: rust-cid-npm -- CLI tool to generate CIDs without a full IPFS client Bug#1016019: ITP: libusbgx -- libusbgx is a C library encapsulating the kernel USB gadget-configfs Bug#1016022: ITP: actions-for-nautilus -- A Gnome Files (Nautilus) extension for creating selection context menu entries that can execute arbitrary commands Bug#1016025: ITP: mobian-keyring -- GPG keys for the Mobian package repository Bug#1016038: ITP: sysd-openrc -- Translator to convert systemd units to openrc scripts. Bug#1016046: ITP: genomicsdb -- sparse array storage library for genomics Bug#1016047: RFH: chromium -- web browser Bug#1016053: ITP: lua-resty-core -- New FFI-based Lua API for NGINX lua module Bug#1016053: marked as done (ITP: lua-resty-core -- New FFI-based Lua API for NGINX lua module) Bug#1016054: ITP: lua-resty-lrucache -- Simple LRU cache for the ngx_lua module Bug#1016054: marked as done (ITP: lua-resty-lrucache -- Simple LRU cache for the ngx_lua module) Bug#1016061: ITP: golang-github-shenwei356-kmers -- bit-packed k-mers methods for Golang Bug#1016065: ITP: golang-github-shenwei356-unik -- A k-mer serialization package for Golang Bug#1016066: ITP: eg25-manager -- Manager daemon for the Quectel EG25 modem Bug#1016078: RFP: fff -- micro-framework for creating fake C functions for tests Bug#1016082: RFP: authenticator -- Generate Two-Factor Codes Bug#1016094: ITP: archlinux-keyring -- Arch Linux PGP keyring Bug#1016100: ITP: dh-nss -- debhelper addon to inject NSS services into /etc/nsswitch.conf Bug#1016108: RFP: minuimus -- file optimiser utility script Bug#1016113: RFP: simplemonitor -- simplemonitor monitors hosts and network connectivity. It is designed to be quick and easy to set up Bug#1016130: ITP: asdf -- multiple language runtime version manager Bug#1016158: RFP: wayland-info -- A tool to present the information for wayland Bug#1016160: ITP: unifrac-tools -- high-performance phylogenetic diversity calculations (binaries) Bug#1016172: RFP: snapdrop -- local file sharing webapp Bug#1016181: ITP: gap-edim -- GAP EDIM - Elementary Divisors of Integer Matrices Bug#1016183: RFH: crun -- lightweight OCI runtime for running containers Bug#1016201: ITP: hickle -- HDF5 based version of pickle Bug#1016202: ITP: sqlitedict -- Persistent dict in Python, backed up by sqlite3 and pickle, multithread-safe Bug#1016204: ITP: dirty-equals -- Make equality checks in Python unit tests more declarative Bug#1016211: ITP urwid-readline --Text input widget for urwidt hatsupports readline shortcuts Bug#1016215: ITP: golang-github-thoas-go-funk -- Modern Go utility library which provides helpers (map, find, contains, filter) Bug#1016316: ITP: gnome-shell-extension-gsconnect -- KDE Connect implementation for GNOME Shell Bug#1016347: ITP: cppzmq -- C++ bindings for libzmq (headers) Bug#1016361: RFP: dog -- command-line DNS client with colorful output and support for DoH and DoT Bug#1016389: RFP: choose -- human-friendly and fast alternative to cut and (sometimes) awk Bug#1016390: ITP: progressbar2 -- Text progress bar library for Python Bug#415241: marked as done (RFP: opus-placement -- on-line application for managing work and practice based learning (placement)) Bug#648436: marked as done (ITP: yaku-ns -- small footprint, trivial to configure, DNS server) Bug#682760: Revisiting osra Bug#685575: marked as done (ITP: opentracker -- An open and free bittorrent tracker) Bug#704079: marked as done (RFP: php5-weakref -- Implementation of weak) Bug#725140: marked as done (RFP: php5-gnutls -- PHP extension for GnuTLS) The last update was on 22:20 GMT Sun Jul 31. There are 805 messages. Page 1 of 2.
<<
[previous month] 		|<
[first page] 		<
[previous page] 		Page 1 of 2
 >
[next page] 		>|
[last page] 		>>
[next month]

[Thread Index] [Subject Index] [Author Index] [Other Debian Lists] [Debian Home]
Mail converted by MHonArc