Index of /packages/btor2tools/

../
btor2tools-20210628_0.darwin_10.i386.tbz2          06-Jan-2022 17:59               95144
btor2tools-20210628_0.darwin_10.i386.tbz2.rmd160   06-Jan-2022 17:59                 512
btor2tools-20210628_0.darwin_10.x86_64.tbz2        06-Jan-2022 17:38               96381
btor2tools-20210628_0.darwin_10.x86_64.tbz2.rmd160 06-Jan-2022 17:38                 512
btor2tools-20210628_0.darwin_11.x86_64.tbz2        07-Jan-2022 03:22               96053
btor2tools-20210628_0.darwin_11.x86_64.tbz2.rmd160 07-Jan-2022 03:22                 512
btor2tools-20210628_0.darwin_12.x86_64.tbz2        07-Jan-2022 04:18               89655
btor2tools-20210628_0.darwin_12.x86_64.tbz2.rmd160 07-Jan-2022 04:18                 512
btor2tools-20210628_0.darwin_13.x86_64.tbz2        07-Jan-2022 00:40               86716
btor2tools-20210628_0.darwin_13.x86_64.tbz2.rmd160 07-Jan-2022 00:40                 512
btor2tools-20210628_0.darwin_14.x86_64.tbz2        07-Jan-2022 04:06               87767
btor2tools-20210628_0.darwin_14.x86_64.tbz2.rmd160 07-Jan-2022 04:06                 512
btor2tools-20210628_0.darwin_15.x86_64.tbz2        07-Jan-2022 02:18               88623
btor2tools-20210628_0.darwin_15.x86_64.tbz2.rmd160 07-Jan-2022 02:18                 512
btor2tools-20210628_0.darwin_16.x86_64.tbz2        06-Jan-2022 23:00               89222
btor2tools-20210628_0.darwin_16.x86_64.tbz2.rmd160 06-Jan-2022 23:00                 512
btor2tools-20210628_0.darwin_17.x86_64.tbz2        07-Jan-2022 06:15               91424
btor2tools-20210628_0.darwin_17.x86_64.tbz2.rmd160 07-Jan-2022 06:15                 512
btor2tools-20210628_0.darwin_18.x86_64.tbz2        07-Jan-2022 03:59               91739
btor2tools-20210628_0.darwin_18.x86_64.tbz2.rmd160 07-Jan-2022 03:59                 512
btor2tools-20210628_0.darwin_19.x86_64.tbz2        07-Jan-2022 02:03              102312
btor2tools-20210628_0.darwin_19.x86_64.tbz2.rmd160 07-Jan-2022 02:03                 512
btor2tools-20210628_0.darwin_20.arm64.tbz2         06-Jan-2022 17:53               88465
btor2tools-20210628_0.darwin_20.arm64.tbz2.rmd160  06-Jan-2022 17:53                 512
btor2tools-20210628_0.darwin_20.x86_64.tbz2        06-Jan-2022 22:25               93964
btor2tools-20210628_0.darwin_20.x86_64.tbz2.rmd160 06-Jan-2022 22:25                 512
btor2tools-20210628_0.darwin_21.arm64.tbz2         06-Jan-2022 20:50               85036
btor2tools-20210628_0.darwin_21.arm64.tbz2.rmd160  06-Jan-2022 20:50                 512
btor2tools-20210628_0.darwin_21.x86_64.tbz2        07-Jan-2022 08:42               92240
btor2tools-20210628_0.darwin_21.x86_64.tbz2.rmd160 07-Jan-2022 08:42                 512