File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 1919 name = "ci-config" ,
2020 version = "1.0.0" ,
2121 description = "CI/CD configuration with runtime validation" ,
22- author = "Jonathan D.A. Jewell <jonathan .jewell@open.ac.uk>" ,
22+ author = "Jonathan D.A. Jewell <j.d.a .jewell@open.ac.uk>" ,
2323 },
2424 },
2525
Original file line number Diff line number Diff line change 1919 name = "project-metadata" ,
2020 version = "1.0.0" ,
2121 description = "Pure data configuration for project metadata" ,
22- author = "Jonathan D.A. Jewell <jonathan .jewell@open.ac.uk>" ,
22+ author = "Jonathan D.A. Jewell <j.d.a .jewell@open.ac.uk>" ,
2323 },
2424 },
2525
3636
3737 author = {
3838 name = "Jonathan D.A. Jewell" ,
39- email = "jonathan .jewell@open.ac.uk" ,
39+ email = "j.d.a .jewell@open.ac.uk" ,
4040 organization = "The Open University" ,
4141 },
4242
Original file line number Diff line number Diff line change 2020 name = "setup-repo" ,
2121 version = "1.0.0" ,
2222 description = "Automated repository setup with RSR standards" ,
23- author = "Jonathan D.A. Jewell <jonathan .jewell@open.ac.uk>" ,
23+ author = "Jonathan D.A. Jewell <j.d.a .jewell@open.ac.uk>" ,
2424 },
2525 warnings = [
2626 "This component has full system access" ,
105105 commands = [
106106 "git init -b %{config . git . default_branch }" ,
107107 "git config user.name 'Jonathan D.A. Jewell'" ,
108- "git config user.email 'jonathan .jewell@open.ac.uk'" ,
108+ "git config user.email 'j.d.a .jewell@open.ac.uk'" ,
109109 "echo '✓ Git initialized'" ,
110110 ],
111111 },
Original file line number Diff line number Diff line change 2020 name = "TODO: component-name" ,
2121 version = "1.0.0" ,
2222 description = "TODO: Detailed description of what this component does" ,
23- author = "Jonathan D.A. Jewell <jonathan .jewell@open.ac.uk>" ,
23+ author = "Jonathan D.A. Jewell <j.d.a .jewell@open.ac.uk>" ,
2424 },
2525 warnings = [
2626 "This component has full system access" ,
Original file line number Diff line number Diff line change 1919 name = "TODO: component-name" ,
2020 version = "1.0.0" ,
2121 description = "TODO: Brief description of what this component contains" ,
22- author = "Jonathan D.A. Jewell <jonathan .jewell@open.ac.uk>" ,
22+ author = "Jonathan D.A. Jewell <j.d.a .jewell@open.ac.uk>" ,
2323 },
2424 },
2525
Original file line number Diff line number Diff line change 1919 name = "TODO: component-name" ,
2020 version = "1.0.0" ,
2121 description = "TODO: Brief description with validation details" ,
22- author = "Jonathan D.A. Jewell <jonathan .jewell@open.ac.uk>" ,
22+ author = "Jonathan D.A. Jewell <j.d.a .jewell@open.ac.uk>" ,
2323 },
2424 },
2525
Original file line number Diff line number Diff line change 11-- SPDX-License-Identifier: PMPL-1.0-or-later
22package ochrance-abi
33version = 0.1.0
4- authors = "Jonathan D.A. Jewell <jonathan .jewell@open.ac.uk>"
4+ authors = "Jonathan D.A. Jewell <j.d.a .jewell@open.ac.uk>"
55brief = "Formally Verified ABI Definitions for Cryptographic Hashing"
66readme = "src/abi/README.md"
77license = "PMPL-1.0-or-later"
Original file line number Diff line number Diff line change 11-- SPDX-License-Identifier: PMPL-1.0-or-later
22package ochrance-fs
33version = 0.1.0
4- authors = "Jonathan D.A. Jewell <jonathan .jewell@open.ac.uk>"
4+ authors = "Jonathan D.A. Jewell <j.d.a .jewell@open.ac.uk>"
55brief = "Ochránce Filesystem Module - Merkle tree verification and repair"
66license = "PMPL-1.0-or-later"
77langversion >= 0.8.0
Original file line number Diff line number Diff line change 11-- SPDX-License-Identifier: PMPL-1.0-or-later
22package ochrance
33version = 0.1.0
4- authors = "Jonathan D.A. Jewell <jonathan .jewell@open.ac.uk>"
4+ authors = "Jonathan D.A. Jewell <j.d.a .jewell@open.ac.uk>"
55brief = "Neurosymbolic Filesystem Verification with Dependent Types"
66readme = "README.adoc"
77license = "PMPL-1.0-or-later"
Original file line number Diff line number Diff line change 11-- SPDX-License-Identifier: PMPL-1.0-or-later
22package a2ml-tests
33version = 0.1.0
4- authors = "Jonathan D.A. Jewell <jonathan .jewell@open.ac.uk>"
4+ authors = "Jonathan D.A. Jewell <j.d.a .jewell@open.ac.uk>"
55brief = "Property-based tests for A2ML parser"
66license = "PMPL-1.0-or-later"
77langversion >= 0.8.0
You can’t perform that action at this time.
0 commit comments