Index of /data/main/p/pakcs/3.3.0-1/docker

• Parent Directory
• CheckExample.curry
• Dockerfile
• Dockerfile-pakcs-3.2.0-ubuntu-18.04
• Dockerfile-pakcs-3.2.0-ubuntu-20.04
• Dockerfile-pakcs-3.3.0-ubuntu-20.04
• README.md
• pakcs3-docker.sh