Versions Packages Information History Related Badges Report

Versions for btor2tools

14 package(s) known

Repository Package name Version Category Maintainer(s)
AUR btor2tools-git r83.037f1fa - cyanokobalamyne@aur
FreeBSD Ports math/btor2tools g20320816 math yuri@freebsd.org
Gentoo sci-mathematics/btor2tools 1.0.0_pre20220518 sci-mathematics sci-mathematics@gentoo.org
GNU Guix btor2tools 1.0.0-pre-1.b8456dd - -
LiGurOS stable sci-mathematics/btor2tools 1.0.0_pre20220518 sci-mathematics sci-mathematics@gentoo.org
LiGurOS develop sci-mathematics/btor2tools 1.0.0_pre20220518 sci-mathematics sci-mathematics@gentoo.org
MacPorts btor2tools 20230816 math nomaintainer@macports.org
nixpkgs stable 22.11 btor2tools 1.0.0-pre_9831f9909fb283752a3d6d60d43613173bd8af42 - aseipp@pobox.com
nixpkgs stable 23.05 btor2tools 1.0.0-pre_9831f9909fb283752a3d6d60d43613173bd8af42 - aseipp@pobox.com
nixpkgs stable 23.11 btor2tools 1.0.0-pre_9831f9909fb283752a3d6d60d43613173bd8af42 - aseipp@pobox.com
nixpkgs stable 24.05 btor2tools 1.0.0-pre_9831f9909fb283752a3d6d60d43613173bd8af42 - aseipp@pobox.com
nixpkgs stable 24.11 btor2tools-unstable 2024-08-07 - aseipp@pobox.com
nixpkgs stable 25.05 btor2tools-unstable 2024-08-07 - aseipp@pobox.com
nixpkgs unstable btor2tools-unstable 2024-08-07 - aseipp@pobox.com