boogie-vscode.dep.yml (linguist-7.23.0) | : | boogie-vscode.dep.yml (linguist-7.24.0) | ||
---|---|---|---|---|
--- | --- | |||
name: boogie-vscode | name: boogie-vscode | |||
version: ecb35e860cbaf21616ec99bd79ba633ce958007c | version: d6000c6f1af5a44d712522dd35b52934c14cac52 | |||
type: git_submodule | type: git_submodule | |||
homepage: https://github.com/boogie-org/boogie-vscode | homepage: https://github.com/boogie-org/boogie-vscode | |||
license: mit | license: mit | |||
licenses: | licenses: | |||
- sources: LICENSE | - sources: LICENSE | |||
text: | | text: | | |||
MIT License | MIT License | |||
Copyright (c) 2019 siddharth-krishna | Copyright (c) 2019 siddharth-krishna | |||
End of changes. 1 change blocks. | ||||
1 lines changed or deleted | 1 lines changed or added |