{ "canonical_url": "https://crates.flyology.org/community/", "catalog": { "name": "community", "repository_url": "https://github.com/alire-project/alire-index", "revision": "115fc87e8336c66e54c19906bc3f10303cd88107" }, "generated_at": "2026-10-06T11:22:10Z", "index": { "version": "1.4.0" }, "package": { "catalog": "community", "description": "AdaCL embedded: SPARK-friendly serial character and string I/O", "development_only": false, "latest_version": "8.0.0", "name": "adacl_serial", "selected_version": "8.0.0", "versions": [ { "dependants": [ { "catalog": "community", "condition": null, "development": false, "name": "swiss_micros_tools", "path": "index/sw/swiss_micros_tools/swiss_micros_tools-1.8.11.toml", "provided_version": "8.0.0", "qualifies": true, "requirement": "^8.0", "requires": "adacl_serial", "selected": true, "version": "1.8.11" } ], "dependencies": [ { "catalog": "community", "condition": null, "name": "adacl", "package": "adacl", "provided_version": "8.0.0", "requirement": "^8.0", "resolved": true, "version": "8.0.0" } ], "development": false, "external": false, "manifest": { "actions": [ { "case(os)": { "...": {}, "linux": { "command": [ "/bin/bash", "ci-verify.sh" ], "directory": ".", "type": "test" }, "macos": { "command": [ "/bin/bash", "ci-verify.sh" ], "directory": ".", "type": "test" }, "windows": { "command": [ "powershell", "-ExecutionPolicy", "Bypass", "-File", "ci-verify.ps1" ], "directory": ".", "type": "test" } } } ], "authors": [ "Martin Krischik " ], "build-switches": { "*": { "ada_version": "Ada2022", "source_encoding": "UTF_8" }, "development": { "compile_checks": "Warnings", "contracts": "Yes", "debug_info": "Yes", "optimization": "Debug", "runtime_checks": "Overflow" }, "release": { "compile_checks": "Warnings", "contracts": "No", "debug_info": "No", "optimization": "Performance", "runtime_checks": "Default" }, "validation": { "compile_checks": "Warnings", "contracts": "Yes", "debug_info": "Yes", "optimization": "Debug", "runtime_checks": "Everything" } }, "configuration": { "variables": {} }, "depends-on": [ { "adacl": "^8.0" } ], "description": "AdaCL embedded: SPARK-friendly serial character and string I/O", "licenses": "GPL-3.0-or-later", "long-description": "Thin, SPARK-friendly helpers for character and string I/O on a\nGNAT.Serial_Communications port.\n\nThe package is deliberately compact - it contains only AdaCL.Serial_IO.\n\nIt extends GNAT.Serial_Communications.Serial_Port (itself a descendant of Ada.Streams.Root_Stream_Type) with a\nnull-record derivation, turning the type into a true class. Consequently all operations can be written with the\nconvenient Class.Method syntax (Port.Get, Port.Put_Line, Port.Expect, ...).\n\nProvided facilities:\n* Conversion helpers between Stream_Element / Stream_Element_Array and Character / String\n* Classic Get / Put / Get_Line / Put_Line operations\n* High-level Expect procedures (discard or capture skipped text until a given sequence arrives)\n* Full SPARK contracts; the package is proven to SPARK bronze level\n\nIntended for console-style protocols used by classic and modern retro calculators (SwissMicros DM-series, HP-IL\nemulators, etc.).\n\nLicensed under the GNU Library General Public License version 3 (or later).\nIntegrates with the Ada Class Library (AdaCL).\n", "maintainers": [ "Martin Krischik " ], "maintainers-logins": [ "krischik" ], "name": "adacl_serial", "origin": { "hashes": [ "sha256:fcb3e317c3dfd6330085f9db7fbcf2c30906e8007fec0b201db951cf8d05911e", "sha512:f35a6bbc6ea9484b0ebece8c4bfa1dba775816fa5cd1a4d1b23a8c1913130d483d669952aad3319cefd13a89420839b99389256c141cd1ef14b587528e55cd68" ], "url": "https://sourceforge.net/projects/adacl/files/Alire/adacl_serial-8.0.0.tgz" }, "tags": [ "library", "serial", "io", "streams", "communication", "spark", "ada2022", "embedded" ], "version": "8.0.0", "website": "https://sourceforge.net/projects/adacl/" }, "path": "index/ad/adacl_serial/adacl_serial-8.0.0.toml", "version": "8.0.0" }, { "dependants": [ { "catalog": "community", "condition": null, "development": false, "name": "swiss_micros_tools", "path": "index/sw/swiss_micros_tools/swiss_micros_tools-1.8.11.toml", "provided_version": "7.2.1", "qualifies": false, "requirement": "^8.0", "requires": "adacl_serial", "selected": true, "version": "1.8.11" } ], "dependencies": [ { "catalog": "community", "condition": null, "name": "adacl", "package": "adacl", "provided_version": "7.2.1", "requirement": "^7.2", "resolved": true, "version": "7.2.1" } ], "development": false, "external": false, "manifest": { "actions": [ { "case(os)": { "...": {}, "linux": { "command": [ "/bin/bash", "ci-verify.sh" ], "directory": ".", "type": "test" }, "macos": { "command": [ "/bin/bash", "ci-verify.sh" ], "directory": ".", "type": "test" }, "windows": { "command": [ "powershell", "-ExecutionPolicy", "Bypass", "-File", "ci-verify.ps1" ], "directory": ".", "type": "test" } } } ], "authors": [ "Martin Krischik " ], "build-switches": { "*": { "ada_version": "Ada2022", "source_encoding": "UTF_8" }, "development": { "compile_checks": "Warnings", "contracts": "Yes", "debug_info": "Yes", "optimization": "Debug", "runtime_checks": "Overflow" }, "release": { "compile_checks": "Warnings", "contracts": "No", "debug_info": "No", "optimization": "Performance", "runtime_checks": "Default" }, "validation": { "compile_checks": "Warnings", "contracts": "Yes", "debug_info": "Yes", "optimization": "Debug", "runtime_checks": "Everything" } }, "configuration": { "variables": {} }, "depends-on": [ { "adacl": "^7.2" } ], "description": "SPARK-friendly character and string I/O helpers for GNAT serial ports", "licenses": "GPL-3.0-or-later", "long-description": "Thin, SPARK-friendly helpers for character and string I/O on a\nGNAT.Serial_Communications port.\n\nThe package is deliberately compact - it contains only AdaCL.Serial_IO.\n\nIt extends GNAT.Serial_Communications.Serial_Port (itself a descendant of Ada.Streams.Root_Stream_Type) with a\nnull-record derivation, turning the type into a true class. Consequently all operations can be written with the\nconvenient Class.Method syntax (Port.Get, Port.Put_Line, Port.Expect, ...).\n\nProvided facilities:\n* Conversion helpers between Stream_Element / Stream_Element_Array and Character / String\n* Classic Get / Put / Get_Line / Put_Line operations\n* High-level Expect procedures (discard or capture skipped text until a given sequence arrives)\n* Full SPARK contracts; the package is proven to SPARK bronze level\n\nIntended for console-style protocols used by classic and modern retro calculators (SwissMicros DM-series, HP-IL\nemulators, etc.).\n\nLicensed under the GNU Library General Public License version 3 (or later).\nIntegrates with the Ada Class Library (AdaCL).\n", "maintainers": [ "Martin Krischik " ], "maintainers-logins": [ "krischik" ], "name": "adacl_serial", "origin": { "hashes": [ "sha256:a26641a601db3703fabd9e250e7f67c12c1a3e6554f8fb1ef5d89744edab43c3", "sha512:681dd4a01056389da8a0735efa30f2212e260bff4bbf3ca3f10abba8ac0526890ccdf8ae151309f990212a631b976deec248940a28ef460ffac3d4ec36320420" ], "url": "https://sourceforge.net/projects/adacl/files/Alire/adacl_serial-7.2.1.tgz" }, "tags": [ "library", "serial", "io", "streams", "communication", "spark", "ada2022" ], "version": "7.2.1", "website": "https://sourceforge.net/projects/adacl/" }, "path": "index/ad/adacl_serial/adacl_serial-7.2.1.toml", "version": "7.2.1" } ] }, "schema_version": 4 }