Skip to content

Commit

Permalink
AdaCL module wikibook_hello_world_1 release 1.0.0
Browse files Browse the repository at this point in the history
  • Loading branch information
Martin Krischik committed Mar 19, 2024
1 parent 2fd0dc1 commit 924dabd
Showing 1 changed file with 26 additions and 0 deletions.
26 changes: 26 additions & 0 deletions index/ad/wikibook_hello_world_1/wikibook_hello_world_1-1.0.0.toml
Original file line number Diff line number Diff line change
@@ -0,0 +1,26 @@
name = "wikibook_hello_world_1"
description = "WikiBook Ada Programing \"Hello World 1\" demo"
version = "1.0.0"
authors = ["Martin Krischik"]
maintainers = ["Martin Krischik <[email protected]>"]
maintainers-logins = ["krischik"]
licenses = "GPL-3.0-or-later"
website = "https://wikibook-ada.sourceforge.net/"
tags = ["tutorial", "wikibooks"]
executables = ["hello_world_1"]

[build-switches]
development.runtime_checks = "Overflow"
release.runtime_checks = "Default"
validation.runtime_checks = "Everything"
development.contracts = "Yes"
release.contracts = "No"
validation.contracts = "Yes"

[origin]
hashes = [
"sha256:110ca347b967ac7974479a2778bd52d246fc6d60dade1af6fe723d10baf5cf6c",
"sha512:22574569740d5a959b9023ab794e30e84eaf171fa8e91ad51f5d051171d954e59aedcfe9aa3893c1b34dcd051db16b72ba9ca290aad9d568a8c5e484c79f84d3",
]
url = "https://sourceforge.net/projects/wikibook-ada/files/Alire/wikibook_hello_world_1-1.0.0.tgz"

0 comments on commit 924dabd

Please sign in to comment.