blob: e187847070bbe0ddd0da558322f7b0cea4784617 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
name: "ply"
description:
""
third_party {
url {
type: HOMEPAGE
value: "https://github.com/dabeaz/ply.git"
}
url {
type: GIT
value: "https://github.com/dabeaz/ply.git"
}
version: "3.11"
last_upgrade_date { year: 2018 month: 05 day: 22 }
license_type: PERMISSIVE
}
|