forked from pool/gecode
5 lines
116 B
Plaintext
5 lines
116 B
Plaintext
|
name: gecode
|
||
|
|
version: 6.3.0~git20211208.6b09bea4
|
||
|
|
mtime: 1638931685
|
||
|
|
commit: 6b09bea4863e32d00c1bdbeb2e2be36fdfe4fcf7
|