Index of /macports-packages/btor2tools/

../
btor2tools-20220518_0.darwin_10.i386.tbz2          01-Aug-2022 08:02               93664
btor2tools-20220518_0.darwin_10.i386.tbz2.rmd160   01-Aug-2022 08:02                 512
btor2tools-20220518_0.darwin_10.x86_64.tbz2        01-Aug-2022 08:01               94746
btor2tools-20220518_0.darwin_10.x86_64.tbz2.rmd160 01-Aug-2022 08:01                 512
btor2tools-20220518_0.darwin_11.x86_64.tbz2        01-Aug-2022 08:03               90805
btor2tools-20220518_0.darwin_11.x86_64.tbz2.rmd160 01-Aug-2022 08:03                 512
btor2tools-20220518_0.darwin_12.x86_64.tbz2        01-Aug-2022 08:00               89624
btor2tools-20220518_0.darwin_12.x86_64.tbz2.rmd160 01-Aug-2022 08:00                 512
btor2tools-20220518_0.darwin_13.x86_64.tbz2        01-Aug-2022 08:00               86634
btor2tools-20220518_0.darwin_13.x86_64.tbz2.rmd160 01-Aug-2022 08:00                 512
btor2tools-20220518_0.darwin_14.x86_64.tbz2        01-Aug-2022 08:00               87726
btor2tools-20220518_0.darwin_14.x86_64.tbz2.rmd160 01-Aug-2022 08:00                 512
btor2tools-20220518_0.darwin_15.x86_64.tbz2        01-Aug-2022 08:01               88566
btor2tools-20220518_0.darwin_15.x86_64.tbz2.rmd160 01-Aug-2022 08:01                 512
btor2tools-20220518_0.darwin_16.x86_64.tbz2        01-Aug-2022 08:00               89188
btor2tools-20220518_0.darwin_16.x86_64.tbz2.rmd160 01-Aug-2022 08:00                 512
btor2tools-20220518_0.darwin_17.x86_64.tbz2        01-Aug-2022 08:00               91361
btor2tools-20220518_0.darwin_17.x86_64.tbz2.rmd160 01-Aug-2022 08:00                 512
btor2tools-20220518_0.darwin_18.x86_64.tbz2        01-Aug-2022 08:01               91690
btor2tools-20220518_0.darwin_18.x86_64.tbz2.rmd160 01-Aug-2022 08:01                 512
btor2tools-20220518_0.darwin_19.x86_64.tbz2        01-Aug-2022 08:02              102312
btor2tools-20220518_0.darwin_19.x86_64.tbz2.rmd160 01-Aug-2022 08:02                 512
btor2tools-20220518_0.darwin_20.arm64.tbz2         01-Aug-2022 10:59               86714
btor2tools-20220518_0.darwin_20.arm64.tbz2.rmd160  01-Aug-2022 10:59                 512
btor2tools-20220518_0.darwin_20.x86_64.tbz2        01-Aug-2022 08:02               92395
btor2tools-20220518_0.darwin_20.x86_64.tbz2.rmd160 01-Aug-2022 08:02                 512
btor2tools-20220518_0.darwin_21.arm64.tbz2         01-Aug-2022 07:59               85046
btor2tools-20220518_0.darwin_21.arm64.tbz2.rmd160  01-Aug-2022 07:59                 512
btor2tools-20220518_0.darwin_21.x86_64.tbz2        01-Aug-2022 08:01               92262
btor2tools-20220518_0.darwin_21.x86_64.tbz2.rmd160 01-Aug-2022 08:01                 512
btor2tools-20220518_0.darwin_22.arm64.tbz2         28-Feb-2023 06:53               77504
btor2tools-20220518_0.darwin_22.arm64.tbz2.rmd160  28-Feb-2023 06:53                 512
btor2tools-20220518_0.darwin_22.x86_64.tbz2        31-Dec-2022 13:29               81863
btor2tools-20220518_0.darwin_22.x86_64.tbz2.rmd160 31-Dec-2022 13:29                 512
btor2tools-20220518_0.darwin_23.x86_64.tbz2        22-Nov-2023 22:05               77232
btor2tools-20220518_0.darwin_23.x86_64.tbz2.rmd160 22-Nov-2023 22:05                 512