Package: 7zip (22.01+dfsg-8+deb12u1)

[ Source: 7zip  ]

Coq tactics for reasoning modulo AC (theories)

This Coq plugin provides tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators.

This package provides the Coq support library.

Tags: Implemented in: C++, User Interface: Command Line, Role: role::program, scope::utility, Purpose: Compressing, Supports Format: works-with-format::TODO, works-with-format::chm, works-with-format::elf, works-with-format::iso9660, works-with-format::swf, works-with-format::tar, Zip Archives, Works with: Archive

Other Packages Related to 7zip

• dep: libc6 (>= 2.34)

  Biblioteca de C de GNU: Bibliotecas compartidas
  also a virtual package provided by libc6-udeb

• dep: libgcc-s1 (>= 3.0)

  Biblioteca de ayuda de GCC

• dep: libstdc++6 (>= 5)

  biblioteca estándar de C++ de GNU v3

Download 7zip

Download for all available architectures

Architecture	Package Size	Installed Size	Files
arm64	860.6 kB	2,545.0 kB	[list of files]