Package Usage: docker: fstarlang/fstar
View more package details: https://packages.ecosystem.code.gouv.fr/registries/hub.docker.com/packages/fstarlang/fstar
View more package details: https://packages.ecosystem.code.gouv.fr/registries/hub.docker.com/packages/fstarlang/fstar