crucible package_spec

package_spec

[
    Project("crucible"),
    RepoPackage('crucible', team='GaloisInc', reponame='crucible', subpath='crucible',
                #version='6e5330e'
    ),
    RepoPackage('crucible-abc', team='GaloisInc', reponame='crucible', subpath='crucible-abc',
                #version='6e5330e'
                extraLibraries = [ 'abc' ], dontHaddock=True,
    ),
    RepoPackage('crucible-blt', team='GaloisInc', reponame='crucible', subpath='crucible-blt',
                #version='6e5330e'
    ),
    RepoPackage('crucible-llvm', team='GaloisInc', reponame='crucible', subpath='crucible-llvm',
                #version='6e5330e'
    ),
    RepoPackage('galois-matlab', subpath='galois-matlab', reponame='crucible', team='GaloisInc'),
    RepoPackage('parameterized-utils', team='GaloisInc', reponame='parameterized-utils'),
]