Implements utilities for installation of the basilisk package, primarily for creation of the underlying Conda instance. This allows one to avoid re-writing the same R code in both the configure script (for centrally administered R installations) and in the lazy installation mechanism (for distributed package binaries). It is highly unlikely that developers - or, heaven forbid, end-users! - will need to interact with this package directly; they should be using the basilisk package instead.

A library to parse and type-check a conservative extension of the SMT-LIB 2 with prenex polymorphism.

Parsing of aeson's Value with attoparsec, originally from aeson.

This is the GNU Go compiler, which compiles Go on platforms supported by the gcc compiler.

bmusb is a userspace driver for Blackmagic's USB3 series of video capture and playback cards (although only the capture part is currently supported), in particular the Intensity Shuttle (HDMI) and UltraStudio SDI cards. These are not currently served by Blackmagic's own Linux drivers.

Configure GDM settings using a graphical interface.