nightscape/blodwen : latest
Blodwen is a dependently typed programming language and a potential successor to the Idris language
Latest release: almost 8 years ago - 127 downloads - 84 dependencies
JSONDependencies
- debian/adduser 3.115
- debian/apt 1.4.8
- debian/base-files 9.9 deb9u5
- debian/base-passwd 3.5.43
- debian/bash 4.4-5
- debian/bsdutils 1:2.29.2-1 deb9u1
- debian/coreutils 8.26-3
- debian/dash 0.5.8-2.4
- debian/debconf 1.5.61
- debian/debian-archive-keyring 2017.5
- debian/debianutils 4.8.1.1
- debian/diffutils 1:3.5-3
- debian/dpkg 1.18.25
- debian/e2fslibs 1.43.4-2
- debian/e2fsprogs 1.43.4-2
- debian/findutils 4.6.0 git 20161106-2
- debian/gcc-6-base 6.3.0-18 deb9u1
- debian/gpgv 2.1.18-8~deb9u2
- debian/grep 2.27-2
- debian/gzip 1.6-5 b1
- debian/hostname 3.18 b1
- debian/init-system-helpers 1.48
- debian/iproute2 4.9.0-1 deb9u1
- debian/iputils-ping 3:20161105-1
- debian/libacl1 2.2.52-3 b1
- debian/libapt-pkg5.0 1.4.8
- debian/libattr1 1:2.4.47-2 b2
- debian/libaudit-common 1:2.6.7-2
- debian/libaudit1 1:2.6.7-2
- debian/libblkid1 2.29.2-1 deb9u1
- debian/libbz2-1.0 1.0.6-8.1
- debian/libc-bin 2.24-11 deb9u3
- debian/libc6 2.24-11 deb9u3
- debian/libcap-ng0 0.7.7-3 b1
- debian/libcap2 1:2.25-1
- debian/libcomerr2 1.43.4-2
- debian/libdb5.3 5.3.28-12 deb9u1
- debian/libdebconfclient0 0.227
- debian/libelf1 0.168-1
- debian/libfdisk1 2.29.2-1 deb9u1
- debian/libgcc1 1:6.3.0-18 deb9u1
- debian/libgcrypt20 1.7.6-2 deb9u3
- debian/libgmp10 2:6.1.2 dfsg-1
- debian/libgpg-error0 1.26-2
- debian/libidn11 1.33-1
- debian/liblz4-1 0.0~r131-2 b1
- debian/liblzma5 5.2.2-1.2 b1
- debian/libmnl0 1.0.4-2
- debian/libmount1 2.29.2-1 deb9u1
- debian/libncursesw5 6.0 20161126-1 deb9u2
- debian/libnettle6 3.3-1 b2
- debian/libpam-modules-bin 1.1.8-3.6
- debian/libpam-modules 1.1.8-3.6
- debian/libpam-runtime 1.1.8-3.6
- debian/libpam0g 1.1.8-3.6
- debian/libpcre3 2:8.39-3
- debian/libselinux1 2.6-3 b3
- debian/libsemanage-common 2.6-2
- debian/libsemanage1 2.6-2
- debian/libsepol1 2.6-2
- debian/libsmartcols1 2.29.2-1 deb9u1
- debian/libss2 1.43.4-2
- debian/libstdc 6 6.3.0-18 deb9u1
- debian/libsystemd0 232-25 deb9u4
- debian/libtinfo5 6.0 20161126-1 deb9u2
- debian/libudev1 232-25 deb9u4
- debian/libustr-1.0-1 1.0.4-6
- debian/libuuid1 2.29.2-1 deb9u1
- debian/login 1:4.4-4.1
- debian/lsb-base 9.20161125
- debian/mawk 1.3.3-17 b3
- debian/mount 2.29.2-1 deb9u1
- debian/multiarch-support 2.24-11 deb9u3
- debian/ncurses-base 6.0 20161126-1 deb9u2
- debian/ncurses-bin 6.0 20161126-1 deb9u2
- debian/passwd 1:4.4-4.1
- debian/perl-base 5.24.1-3 deb9u4
- debian/sed 4.4-1
- debian/sensible-utils 0.0.9 deb9u1
- debian/sysvinit-utils 2.88dsf-59.9
- debian/tar 1.29b-1.1
- debian/tzdata 2018e-0 deb9u1
- debian/util-linux 2.29.2-1 deb9u1
- debian/zlib1g 1:1.2.8.dfsg-5