libbtor2parser0 (1.0.2~git20250918.d33c73f-1)

Details

Core information at a glance

Distribution
ubuntu
Origin
ubuntu-stonking
Repository
https://ports.ubuntu.com
Codename
stonking
Component
universe
Source
btor2tools
Architecture
arm64
Section
universe/libs
Priority
optional
Maintainer
Ubuntu Developers <[email protected]>

Size & integrity

Byte sizes and integrity verification

Installed size
82 B
Size expected
17.7 kB
Size actual
17.7 kB
Size match

Dependencies

Required package dependencies

  • libc6 (>= 2.17)

Suggested packages

Recommended additional packages

  • None

Description

library for generic parser and tools for the BTOR2 format

Homepage Download .deb

Tags

Package classification tags

None

Checksums

Hash values and integrity verification status

TypeActualMatch
MD5aaee1ef7…c084847b
SHA-1f7bc1f5a…c333d880
SHA-256dde8db99…21857e72
SHA-51269f63c55…d9abd569

Contents

Files and directories included

.
usr
usr/lib
usr/lib/aarch64-linux-gnu
usr/lib/aarch64-linux-gnu/libbtor2parser.so.0.1.0
usr/share
usr/share/doc
usr/share/doc/libbtor2parser0
usr/share/doc/libbtor2parser0/changelog.Debian.gz
usr/share/doc/libbtor2parser0/copyright
usr/lib/aarch64-linux-gnu/libbtor2parser.so.0