418
Sort by
TAG
Last pushed about 3 years by micpiotrowski
docker pull jagiellonian/frege-analyzer-cpp:latest
| Digest | OS/ARCH | Compressed size |
|---|---|---|
6d0b2a4f8944 | linux/amd64 | 332.43 MB |
TAG
Last pushed about 4 years by tomaszjanik
docker pull jagiellonian/frege-analyzer-cpp:1.0.0
| Digest | OS/ARCH | Compressed size |
|---|---|---|
6d0b2a4f8944 | linux/amd64 | 332.43 MB |