6 lines
141 B
Text
6 lines
141 B
Text
|
package forgejo.ballcloud.cc/wball/proof-checker
|
||
|
|
|
||
|
|
require {
|
||
|
|
github.com/diku-dk/sml-parse 0.1.5 #5693148ec0e4cbba1a1664170d9814f3b63267d9
|
||
|
|
}
|