hostarm 25.0.4 (#1511)
This commit is contained in:
@@ -0,0 +1,50 @@
|
|||||||
|
name = "hostarm"
|
||||||
|
description = "Local hosting of Ada Reference Manual (ARM)"
|
||||||
|
version = "25.0.4"
|
||||||
|
|
||||||
|
long-description = """
|
||||||
|
HostARM is a local hosting of
|
||||||
|
- Ada Reference Manual 2012
|
||||||
|
- Ada Reference Manual 2022
|
||||||
|
- Annotated Ada Reference Manual 202Y (Draft 4)
|
||||||
|
|
||||||
|
HostARM focuses on user friendliness and more modern look of the manuals.
|
||||||
|
|
||||||
|
Benefits
|
||||||
|
- Shorter URL: Remove two levels of the URL and no html ending
|
||||||
|
- Optional stripping of navigation bars
|
||||||
|
- Keypress navigation
|
||||||
|
- Local search not dependant on external hosts
|
||||||
|
- Optional modernized navigation bar
|
||||||
|
- Alphabet navigation bar in index
|
||||||
|
"""
|
||||||
|
|
||||||
|
authors = ["Jesper Quorning"]
|
||||||
|
maintainers = ["Jesper Quorning <jesper.quorning@gmail.com>"]
|
||||||
|
maintainers-logins = ["jquorning"]
|
||||||
|
licenses = "MIT"
|
||||||
|
website = "https://github.com/jquorning/hostarm"
|
||||||
|
tags = ["arm", "aarm", "reference", "manual"]
|
||||||
|
|
||||||
|
executables = ["hostarm"]
|
||||||
|
|
||||||
|
[[depends-on]]
|
||||||
|
gnat = "<15"
|
||||||
|
|
||||||
|
# See https://github.com/AdaCore/aws/issues/380
|
||||||
|
# and https://github.com/alire-project/alire/issues/1710
|
||||||
|
[depends-on.'case(os)'.windows]
|
||||||
|
aws = "^23.0.0"
|
||||||
|
xmlada = "^23.0.0"
|
||||||
|
gnatcoll = "^23.0.0"
|
||||||
|
|
||||||
|
[depends-on.'case(os)'.'...']
|
||||||
|
aws = "^24.0.0"
|
||||||
|
xmlada = "^24.0.0"
|
||||||
|
gnatcoll = "^24.0.0"
|
||||||
|
|
||||||
|
|
||||||
|
[origin]
|
||||||
|
commit = "eb34bf780f7af3ed24598c39e39ed7f0ae92873a"
|
||||||
|
url = "git+https://github.com/jquorning/hostarm.git"
|
||||||
|
|
||||||
Reference in New Issue
Block a user