/pool/main/h/haskell-copilot-theorem/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
haskell-copilot-theorem_3.13-1.debian.tar.xz2.6 KiB2023-Jan-10 02:20
haskell-copilot-theorem_4.2-1.debian.tar.xz2.9 KiB2025-Jan-23 00:54
haskell-copilot-theorem_3.13-1.dsc3.5 KiB2023-Jan-10 02:20
haskell-copilot-theorem_4.2-1.dsc3.7 KiB2025-Jan-23 00:54
haskell-copilot-theorem_3.13.orig.tar.gz63.7 KiB2023-Jan-10 02:20
haskell-copilot-theorem_4.2.orig.tar.gz64.6 KiB2025-Jan-23 00:54
libghc-copilot-theorem-doc_3.13-1_all.deb208.9 KiB2023-Jan-10 06:29
libghc-copilot-theorem-doc_4.2-1_all.deb211.4 KiB2025-Jan-23 02:15
libghc-copilot-theorem-dev_4.2-1_armhf.deb641.9 KiB2025-Jan-28 17:08
libghc-copilot-theorem-prof_4.2-1_armhf.deb690.8 KiB2025-Jan-28 17:08