Package acl2
bookworm (Debian 12 (Bookworm)) (math): Computational Logic for Applicative Common Lisp: main binary
8.5dfsg-5: amd64 arm64

debian package index
Packages published for Debian 12 (Bookworm) and its configured repositories.
Open a package to inspect every retained build, dependency relationship, checksum, file list, and source observation.
bookworm (Debian 12 (Bookworm)) (math): Computational Logic for Applicative Common Lisp: main binary
8.5dfsg-5: amd64 arm64
bookworm (Debian 12 (Bookworm)) (math): Computational Logic for Applicative Common Lisp: compiled libraries
8.5dfsg-5: amd64 arm64
Source: acl2
bookworm (Debian 12 (Bookworm)) (math): Computational Logic for Applicative Common Lisp: library certificates
8.5dfsg-5: all
Source: acl2
bookworm (Debian 12 (Bookworm)) (math): Computational Logic for Applicative Common Lisp: library sources
8.5dfsg-5: all
Source: acl2
bookworm (Debian 12 (Bookworm)) (doc): Computational Logic for Applicative Common Lisp: documentation
8.5dfsg-5: all
Source: acl2
bookworm (Debian 12 (Bookworm)) (math): Computational Logic for Applicative Common Lisp: infix interface
8.5dfsg-5: amd64 arm64
Source: acl2
bookworm (Debian 12 (Bookworm)) (math): Computational Logic for Applicative Common Lisp: infix source
8.5dfsg-5: all
Source: acl2
bookworm (Debian 12 (Bookworm)) (math): Computational Logic for Applicative Common Lisp: source files
8.5dfsg-5: all
Source: acl2
bookworm (Debian 12 (Bookworm)) (gnustep): Analog dockapp clock for GNUstep
0.4.0-2+b4: amd64 arm64
Source: aclock.app
bookworm (Debian 12 (Bookworm)) (games): Multi-player classic aerial combat simulation
6.0+20200416-1.1+b1: amd64 arm64
Source: acm
bookworm (Debian 12 (Bookworm)) (devel): Multi-platform cross assembler for 6502/6510/65816 CPU
1:0.97~svn20211115+ds-1+b1: amd64 arm64
Source: acme
bookworm (Debian 12 (Bookworm)) (utils): letsencrypt tiny Python client
1:5.0.1-1: all
bookworm (Debian 12 (Bookworm)) (web): automatic certificate acquisition tool for Let's Encrypt
0.2.2-1+b4: amd64 arm64
Source: acmetool
bookworm (Debian 12 (Bookworm)) (sound): graphical ALSA sequencer connection manager
0.9.0rc2-1-10.1: amd64 arm64
bookworm (Debian 12 (Bookworm)) (admin): partition editor for Acorn/RISC OS machines
3.0.6-12: amd64 arm64
bookworm (Debian 12 (Bookworm)) (utils): displays information on ACPI devices
1.7-1.2: amd64 arm64
bookworm (Debian 12 (Bookworm)) (kernel): Kernel module that enables you to call ACPI methods
1.2.2-2.1: all
Source: acpi-call
bookworm (Debian 12 (Bookworm)) (devel): ACPICA tools for the development and debug of ACPI tables
20200925-8: amd64 arm64
Source: acpica-unix
bookworm (Debian 12 (Bookworm)) (admin): Advanced Configuration and Power Interface event daemon
1:2.0.33-2+b1: amd64 arm64
Source: acpid
bookworm (Debian 12 (Bookworm)) (admin): tool to generate fake key events
0.143-5.1: amd64
Source: acpi-support
bookworm (Debian 12 (Bookworm)) (admin): initramfs-tools hook to override ACPI tables
0.1+nmu1: all
Source: acpi-override
bookworm (Debian 12 (Bookworm)) (admin): scripts for handling many ACPI events
0.143-5.1: all
bookworm (Debian 12 (Bookworm)) (admin): scripts for handling base ACPI events such as the power button
0.143-5.1: all
Source: acpi-support
bookworm (Debian 12 (Bookworm)) (utils): Show ACPI information in a tail-like style
0.1-5: amd64
bookworm (Debian 12 (Bookworm)) (utils): command line ACPI client
0.5.1-7: arm64
bookworm-backports (Debian 12 (Bookworm)) (devel): autoconf like tool
2.1.2-1~bpo12+1: all
bookworm (Debian 12 (Bookworm)) (devel): autoconf like tool
1.9.4-1: all
bookworm (Debian 12 (Bookworm)) (utils): emulate human activity through a powerful GUI and JavaScript
3.10.1-1+b3: amd64 arm64
Source: actiona
bookworm-security (Debian 12 (Bookworm)) (java): Java message broker - server
5.17.2+dfsg-2+deb12u1: all
bookworm (Debian 12 (Bookworm)) (java): Java message broker - server
5.17.2+dfsg-2+deb12u1: all
bookworm (Debian 12 (Bookworm)) (web): wrapper to make Firefox aware of Plasma Desktop activities
0.4.1-2: all
bookworm (Debian 12 (Bookworm)) (science): rapid adapter trimming, identification, and read merging of gene sequences
2.3.3-2: amd64 arm64
bookworm (Debian 12 (Bookworm)) (science): rapid adapter trimming, identification, and read merging (example data)
2.3.3-2: all
Source: adapterremoval
bookworm (Debian 12 (Bookworm)) (doc): reference documentation for the Ada language (2005 standard)
1:2020.1commit85143dcb-4: all
Source: ada-reference-manual
bookworm (Debian 12 (Bookworm)) (doc): reference documentation for the Ada language (2012 standard)
1:2020.1commit85143dcb-4: all
Source: ada-reference-manual
bookworm (Debian 12 (Bookworm)) (doc): reference documentation for the Ada language (2020 preview)
1:2020.1commit85143dcb-4: all
Source: ada-reference-manual
bookworm-backports (Debian 12 (Bookworm)) (utils): Android Debug Bridge
1:34.0.5-12~bpo12+1: amd64 arm64
bookworm (Debian 12 (Bookworm)) (utils): Android Debug Bridge
1:29.0.6-28: amd64 arm64
Source: android-platform-tools
bookworm-backports (Debian 12 (Bookworm)) (utils): Android Debug Bridge daemon
34.0.5-12~bpo12+1: amd64 arm64
Source: android-platform-tools
bookworm (Debian 12 (Bookworm)) (admin): Tool for performing actions on an Active Directory domain
0.9.1-2: amd64 arm64
bookworm (Debian 12 (Bookworm)) (mail): Personal Address Manager for GNUstep (Goodies)
0.4.8-3+b4: amd64 arm64
Source: addresses-for-gnustep
bookworm (Debian 12 (Bookworm)) (gnustep): Personal Address Manager for GNUstep
0.4.8-3+b4: amd64 arm64
Source: addresses-for-gnustep
bookworm (Debian 12 (Bookworm)) (admin): add and remove users and groups
3.134: all
bookworm (Debian 12 (Bookworm)) (utils): Debian package quality testing tool
0.15.9~deb12u1: all
bookworm (Debian 12 (Bookworm)) (admin): kernel time variables configuration utility
1.29-11+b1: amd64 arm64
Source: adjtimex
bookworm (Debian 12 (Bookworm)) (math): Tool for processing triangulated solid meshes. Binary
0.98.4-2: amd64 arm64
bookworm (Debian 12 (Bookworm)) (web): Web-based database administration tool
4.8.1-1: all
bookworm (Debian 12 (Bookworm)) (science): Automatic device model synthesizer for Verilog-AMS
2.3.7-1: amd64 arm64
bookworm (Debian 12 (Bookworm)) (net): Asynchronous-capable DNS client utilities
1.6.0-2: amd64 arm64
Source: adns
bookworm (Debian 12 (Bookworm)) (games): 2D graphical roleplaying game
0.3.8-2.1+deb12u1: amd64 arm64
bookworm (Debian 12 (Bookworm)) (games): Data files needed by Adonthell
0.3.8-1: all
bookworm (Debian 12 (Bookworm)) (sound): console-based OPL2 audio player
1.8.1-3: amd64 arm64
bookworm (Debian 12 (Bookworm)) (utils): free AdLib sound library (utils)
2.3.3+dfsg-2: amd64 arm64
Source: adplug
bookworm (Debian 12 (Bookworm)) (java): Parse, manipulate and translate ADQL queries with Java
1.5-2: all
Source: adql
bookworm (Debian 12 (Bookworm)) (doc): Parse, manipulate and translate ADQL queries (API doc)
1.5-2: all
Source: adql
bookworm (Debian 12 (Bookworm)) (devel): tools for working with a log of Architecture Decision Records
3.0.0-2: all
bookworm (Debian 12 (Bookworm)) (gnustep): Molecular Simulator for GNUstep (GUI)
0.81-14+b3: amd64 arm64
Source: adun.app
bookworm (Debian 12 (Bookworm)) (science): Molecular Simulator
0.81-14+b3: amd64 arm64
Source: adun.app
bookworm (Debian 12 (Bookworm)) (net): dkms driver sources for Advantech PCI/PCIe ACOM Series adapters
5.0.7.0-1: all
Source: adv-17v35x
bookworm (Debian 12 (Bookworm)) (utils): collection of recompression utilities
2.5-1: amd64 arm64
bookworm (Debian 12 (Bookworm)) (tex): active DVI previewer and presenter
1.10.2-9+b1: amd64 arm64
Source: advi
bookworm (Debian 12 (Bookworm)) (tex): example presentations for Active-DVI (advi)
1.10.2-9: all
Source: advi
bookworm (Debian 12 (Bookworm)) (gnome): default icon theme of GNOME
43-1: all
bookworm (Debian 12 (Bookworm)) (gnome): Qt 5 port of GNOME’s Adwaita theme
1.4.2-3: amd64 arm64
bookworm (Debian 12 (Bookworm)) (gnome): Qt 6 port of GNOME’s Adwaita theme
1.4.2-3: amd64 arm64
Source: adwaita-qt
bookworm (Debian 12 (Bookworm)) (science): integrated genome analysis toolkit
0.16.0+dfsg-2: amd64 arm64
bookworm (Debian 12 (Bookworm)) (video): advanced subtitle editor
3.2.2+dfsg-7+b3: amd64 arm64
Source: aegisub
bookworm (Debian 12 (Bookworm)) (localization): aegisub language packages
3.2.2+dfsg-7: all
Source: aegisub
bookworm (Debian 12 (Bookworm)) (sound): Synthesised pipe organ emulator
0.10.4-1: amd64 arm64
bookworm (Debian 12 (Bookworm)) (text): text-based authoring tool for HTML
12-248-3: all
bookworm (Debian 12 (Bookworm)) (devel): Pretty Good Email Client
0.14.0-1+b5: amd64 arm64
Source: aerc
bookworm (Debian 12 (Bookworm)) (utils): tool for correcting bit errors in an AES key schedule
1.0.1-8: amd64 arm64
bookworm (Debian 12 (Bookworm)) (utils): tool for locating AES keys in a captured memory image
1:1.0-11: amd64
bookworm (Debian 12 (Bookworm)) (science): medical image viewer and DICOM network client
0.2.2-beta2+git20190406.ef77f01-4+b1: amd64 arm64
Source: aeskulap
bookworm (Debian 12 (Bookworm)) (utils): JSON pretty-printing tool
0.8.9-1+b4: amd64 arm64
Source: haskell-aeson-pretty
bookworm (Debian 12 (Bookworm)) (utils): AES-encryption tool with loop-AES support
2.4d-1.1: arm64
bookworm (Debian 12 (Bookworm)) (science): digital genetics model to run Evolution Experiments in silico
5.0+ds-3+b1: amd64 arm64
Source: aevol
bookworm (Debian 12 (Bookworm)) (text): ASCII-art Editor Without A Name
1.0.01-5+b1: amd64 arm64
Source: aewan
bookworm (Debian 12 (Bookworm)) (x11): minimal window manager written in C++
1.1.2-5.3: amd64 arm64
bookworm (Debian 12 (Bookworm)) (x11): utilities to complement a minimal window manager
1.0-10.1: amd64 arm64
bookworm (Debian 12 (Bookworm)) (devel): Adobe Font Development Kit for OpenType
3.6.2+dfsg1-1: all
bookworm (Debian 12 (Bookworm)) (devel): Adobe Font Development Kit for OpenType (Binaries)
3.6.2+dfsg1-1: amd64 arm64
Source: afdko
bookworm (Debian 12 (Bookworm)) (doc): Adobe Font Development Kit for OpenType (common documentation)
3.6.2+dfsg1-1: all
Source: afdko
bookworm (Debian 12 (Bookworm)) (python): Tagging script for notmuch mail
3.0.1-4: all
bookworm (Debian 12 (Bookworm)) (gnustep): Application to "stick" little notes on the desktop
0.6.0-11+b3: amd64 arm64
Source: affiche
bookworm (Debian 12 (Bookworm)) (utils): Advanced Forensics Format Library (utilities)
3.7.20-1: amd64 arm64
Source: afflib
bookworm (Debian 12 (Bookworm)) (utils): archive file manipulation program
2.5.2-3+b1: amd64 arm64
Source: afio
bookworm (Debian 12 (Bookworm)) (oldlibs): transitional dummy package for afl to afl++
4.04c-4: all
Source: aflplusplus
bookworm (Debian 12 (Bookworm)) (devel): instrumentation-driven fuzzer for binary formats
4.04c-4: amd64 arm64
Source: aflplusplus
bookworm (Debian 12 (Bookworm)) (devel): transitional dummy package for afl++-clang to afl++
4.04c-4: amd64 arm64
Source: aflplusplus
bookworm (Debian 12 (Bookworm)) (oldlibs): transitional dummy package for afl-clang to afl++-clang
4.04c-4: all
Source: aflplusplus
bookworm (Debian 12 (Bookworm)) (doc): instrumentation-driven fuzzer for binary formats - documentation
4.04c-4: all
Source: aflplusplus
bookworm (Debian 12 (Bookworm)) (oldlibs): transitional dummy package for afl-doc to afl++-doc
4.04c-4: all
Source: aflplusplus
bookworm (Debian 12 (Bookworm)) (interpreters): Compiler and run-time for the AFNIX programming language
3.7.0-1: amd64 arm64
bookworm (Debian 12 (Bookworm)) (doc): Compiler and run-time for the AFNIX programming language (documentation)
3.7.0-1: all
Source: afnix
bookworm (Debian 12 (Bookworm)) (text): "free form" document preparation system
2:5.098-6: all
bookworm (Debian 12 (Bookworm)) (x11): window manager with the NEXTSTEP look and feel
2.2.12-15+b2: amd64 arm64
Source: afterstep
bookworm (Debian 12 (Bookworm)) (x11): data files for AfterStep window manager
2.2.12-15: all
Source: afterstep
bookworm (Debian 12 (Bookworm)) (utils): automounting file system implemented in user-space using FUSE
0.4.1-1.1: amd64 arm64
bookworm (Debian 12 (Bookworm)) (misc): dependently typed functional programming language
2.6.2.2-1.1: all
bookworm (Debian 12 (Bookworm)) (haskell): commandline interface to Agda
2.6.2.2-1.1: amd64
Source: agda
bookworm (Debian 12 (Bookworm)) (libs): standard library for Agda
1.7.1-1: all
bookworm (Debian 12 (Bookworm)) (doc): standard library for Agda — documentation
1.7.1-1: all
Source: agda-stdlib
This operating-system view preserves native package policy. Versions, architecture labels, suites, dependency operators, patches, and maintainer fields mean what the publishing repository says they mean. A similarly named package in another system is not treated as identical.
Where two package records cite the same authoritative upstream homepage, the catalog can link them to one software project. That mapping never replaces the native package page and name matching by itself is not enough to merge projects.