pla_util 2.1.3 (#1358)

pla_util 2.1.3

index/pl/pla_util/pla_util-2.1.3.toml

@@ -0,0 +1,41 @@
+name = "pla_util"
+version = "2.1.3"
+description = "A power line adapter utility"
+authors = ["John Serock"]
+maintainers = ["john.serock@gmail.com"]
+maintainers-logins = ["serock"]
+licenses = "GPL-3.0-or-later"
+website = "https://github.com/serock/pla-util"
+tags = ["powerline"]
+project-files = ["pla_util.gpr"]
+executables = ["pla-util"]
+
+[available."case(os)"]
+"linux" = true
+"..." = false
+
+[[depends-on]]
+libpcap = "^1.8.1"
+
+[configuration]
+generate_c = false
+
+[build-switches]
+"*".ada_version = "ada12"
+"*".debug_info = ["-g", "-gnateE"]
+"*".runtime_checks = ["-gnato", "-fstack-check", "-fstack-protector-strong"]
+"*".contracts = "yes"
+development.compile_checks = [
+   "-Wall", "-gnatVa", "-gnatwd", "-gnatwh", "-gnatw.h",
+   "-gnatw.j", "-gnatw.k", "-gnatwl", "-gnatw.l", "-gnatwo",
+   "-gnatw.o", "-gnatw.q", "-gnatw_q", "-gnatw_r", "-gnatw.s",
+   "-gnatwt", "-gnatw.u", "-gnatw.w"]
+development.optimization = ["-Og"]
+development.style_checks = ["-gnaty3aAbBcdefhiIklnoOprsStux"]
+validation.optimization = ["-O3", "-gnatn"]
+release.optimization = ["-O3", "-gnatn"]
+
+[origin]
+commit = "f5b3a986fd37f098dbc5660b5f9846e181d982db"
+url = "git+https://github.com/serock/pla-util.git"
+