Name					Size	Modified
----					----	--------
cryptol_3.0.0-1_amd64.deb		8.8 MiB	September 9, 2024 at 16:39:36
haskell-cryptol_3.0.0-1.debian.tar.xz	3.7 KiB	September 9, 2024 at 16:39:40
haskell-cryptol_3.0.0-1.dsc		4.8 KiB	September 9, 2024 at 16:39:40
haskell-cryptol_3.0.0.orig.tar.gz	516 KiB	September 9, 2024 at 16:39:40
libghc-cryptol-dev_3.0.0-1_amd64.deb	7.0 MiB	September 9, 2024 at 16:39:54
libghc-cryptol-doc_3.0.0-1_all.deb	1.9 MiB	September 9, 2024 at 16:39:54
libghc-cryptol-prof_3.0.0-1_amd64.deb	6.8 MiB	September 9, 2024 at 16:39:54