details

attribute value name ProB description no description owner Sebastian Krings uploaded 2019-05-21 08:33:38.0 disk size 62.25 MB build status uploaded built

configurations

name	description
competition	no description

actions

get anonymous link download