jhupllibversion
A library of tools and utilities for JHU PL lab projects.
A library of tools and utilities for JHU PL lab projects.
Author | JHU PL Lab <pl.cs@jhu.edu> |
---|---|
License | Apache-1.0+ |
Published | |
Homepage | http://www.big-bang-lang.org/ |
Issue Tracker | https://github.com/JHU-PL-Lab/jhu-pl-lib/issues |
Maintainer | JHU PL Lab <pl.cs@jhu.edu> |
Dependencies |
|
Source [http] | https://github.com/JHU-PL-Lab/jhu-pl-lib/archive/824006ad7c0b05d015c3449f168bb5e99882bee5.zip md5=3996f5c6a55b8bd37db7c3db11724641 |
Edit | https://github.com/ocaml/opam-repository/tree/master/packages/jhupllib/jhupllib.0.1.1/opam |
Required by
- pds-reachability<0.2.2