chengdu/pins.env at main · billosys/chengdu · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
# chengdu - historical upstream pins
#
# Historical 0.1.0/import-point evidence only. Active build provenance is
# recorded in vendor.env and anchored on the current chengdu commit plus
# per-subtree import identities.
#
# Verify: grep -E '^(PARSER|GROUNDER|ENGINE|PANDADEALER)_(URL|SHA)=' pins.env

# pandaPIparser — short: 88c0995
PARSER_URL=https://github.com/panda-planner-dev/pandaPIparser.git
PARSER_SHA=88c0995c72c5ce2685e9546ec153a3545977ed81

# pandaPIgrounder — short: b04ff7b (submodules cpddl + h2-fd-preprocessor
# are pinned transitively: whatever SHAs this commit's tree records)
GROUNDER_URL=https://github.com/panda-planner-dev/pandaPIgrounder.git
GROUNDER_SHA=b04ff7bcca710ae80a1ce73b8c027f0224565afc

# pandaPIengine — short: 810f043
ENGINE_URL=https://github.com/panda-planner-dev/pandaPIengine.git
ENGINE_SHA=810f04388667db5e3e4f114e960a4efbb43b1ac0

# ipc2023-htn/PandaDealer — fallback vendored snapshot (--source
# pandadealer), used when the environment cannot reach gitlab.com for the
# cpddl submodule. Short: fde3245
PANDADEALER_URL=https://github.com/ipc2023-htn/PandaDealer.git
PANDADEALER_SHA=fde32457428aa6c7b4b98ff4f2a6c93a13d7384d