Index activity

Index changes.

Crates and versions added or updated, derived from the repository history for packages currently in the index.

295 manifest changes

277 new versions

0 development updates

Open proposalsPending crate changes20 PRs

Open proposals against stable-1.4.0. These proposed changes have not been merged into the index. Activity was checked .

  1. affecto 0.1.0#2204
    Open 18 hoursUpdated 4 hours ago1 commit0 comments
    • New crateaffecto 0.1.0+33 −0index/af/affecto/affecto-0.1.0.toml
  2. adalang_analyzer 1.8.0#2203
    Open 1 dayUpdated 1 day ago3 commits4 comments
    • New versionadalang_analyzer 1.8.0+80 −0index/ad/adalang_analyzer/adalang_analyzer-1.8.0.toml
  3. opencv_geometry 0.2.0#2202
    Open 2 daysUpdated 2 days ago1 commit1 comment
    • New versionopencv_geometry 0.2.0+38 −0index/op/opencv_geometry/opencv_geometry-0.2.0.toml
  4. bbt 0.4.1#2201
    Open 2 daysUpdated 2 days ago1 commit1 comment
    • New versionbbt 0.4.1+39 −0index/bb/bbt/bbt-0.4.1.toml
  5. opencv_core 0.4.0#2198
    Open 3 daysUpdated 2 days ago1 commit2 comments
    • New versionopencv_core 0.4.0+47 −0index/op/opencv_core/opencv_core-0.4.0.toml
  6. lithophane 1.1.0#2197
    Open 3 daysUpdated 2 days ago1 commit2 comments
    • New versionlithophane 1.1.0+118 −0index/li/lithophane/lithophane-1.1.0.toml
  7. Calculator Tools release 1.8.12#2196
    Open 3 daysUpdated 1 day ago1 commit0 comments
    • New versionhp41cx_tools 1.8.12+101 −0index/hp/hp41cx_tools/hp41cx_tools-1.8.12.toml
    • New versionswiss_micros_tools 1.8.12+89 −0index/sw/swiss_micros_tools/swiss_micros_tools-1.8.12.toml
  8. Ada Class Library adacl_serial release 8.0.1#2195
    Open 3 daysUpdated 1 day ago1 commit1 comment
    • New versionadacl_serial 8.0.1+89 −0index/ad/adacl_serial/adacl_serial-8.0.1.toml
  9. yamlscript 0.3.4#2193Draft
    Open 4 daysUpdated 4 days ago1 commit0 comments
    • New versionyamlscript 0.3.4+18 −0index/ya/yamlscript/yamlscript-0.3.4.toml
  10. espidf_wifi 0.1.0#2191
    Open 5 daysUpdated 2 days ago2 commits1 comment
    • New crateespidf_wifi 0.1.0+32 −0index/es/espidf_wifi/espidf_wifi-0.1.0.toml
  11. espidf_tinyusb_msc 0.1.0#2190
    Open 5 daysUpdated 2 days ago2 commits1 comment
    • New crateespidf_tinyusb_msc 0.1.0+31 −0index/es/espidf_tinyusb_msc/espidf_tinyusb_msc-0.1.0.toml
  12. espidf_fatfs 0.1.0#2189
    Open 5 daysUpdated 2 days ago2 commits1 comment
    • New crateespidf_fatfs 0.1.0+30 −0index/es/espidf_fatfs/espidf_fatfs-0.1.0.toml
  13. opencv_imgproc 0.1.0#2187
    Open 5 daysUpdated 2 days ago2 commits3 comments
    • New crateopencv_imgproc 0.1.0+38 −0index/op/opencv_imgproc/opencv_imgproc-0.1.0.toml
  14. yamlscript 0.3.3#2178Draft
    Open 6 daysUpdated 2 days ago2 commits1 comment
    • New versionyamlscript 0.3.3+18 −0index/ya/yamlscript/yamlscript-0.3.3.toml
  15. yamlscript 0.3.2#2166
    Open 7 daysUpdated 2 days ago3 commits3 comments
    • New versionyamlscript 0.3.2+18 −0index/ya/yamlscript/yamlscript-0.3.2.toml
  16. aws 27.0.0#2162
    Open 11 daysUpdated 2 days ago3 commits1 comment
    • New versionaws 27.0.0+61 −0index/aw/aws/aws-27.0.0.toml
  17. Add redis, websocket, snowflake (kokhlo Ada crates)#2148
    Open 18 daysUpdated 2 days ago7 commits5 comments
    • New crateredis 0.2.0+16 −0index/re/redis/redis-0.2.0.toml
    • New cratewebsocket 0.2.0+16 −0index/we/websocket/websocket-0.2.0.toml
  18. Add backoff_ada, prometheus_ada 0.1.0#2099
    Open 37 daysUpdated 2 days ago12 commits7 comments
    • New cratebackoff 0.2.0+15 −0index/ba/backoff/backoff-0.2.0.toml
    • New crateprometheus 0.2.0+15 −0index/pr/prometheus/prometheus-0.2.0.toml
  19. Add redis_ada, websocket_ada, snowflake_ada 0.1.0#2097
    Open 37 daysUpdated 2 days ago15 commits10 comments
    • New crateredis 0.1.0+17 −0index/re/redis/redis-0.1.0.toml
    • New cratesnowflake 0.1.0+17 −0index/sn/snowflake/snowflake-0.1.0.toml
    • New cratewebsocket 0.2.1+15 −0index/we/websocket/websocket-0.2.1.toml
  20. Update Gnoga 2.2.3 series of programs.#2093
    Open 39 daysUpdated 2 days ago9 commits11 comments
    • New crategnoga_demo 2.2.3+36 −0index/gn/gnoga_demo/gnoga_demo-2.2.3.toml
    • New crategnoga_test 2.2.3+21 −0index/gn/gnoga_test/gnoga_test-2.2.3.toml
    • New crategnoga_tools 2.2.3+21 −0index/gn/gnoga_tools/gnoga_tools-2.2.3.toml
    • New crategnoga_tuto 2.2.3+21 −0index/gn/gnoga_tuto/gnoga_tuto-2.2.3.toml
    • New versionppag 2.2.3+24 −0index/pp/ppag/ppag-2.2.3.toml
    • New cratesqlite3 external+11 −0index/sq/sqlite3/sqlite3-external.toml

Indexed changes

  1. frostlake 0.2.0 (via `alr publish`) (#2192)

    115fc87e on GitHub

  2. opencv_geometry 0.1.0 (#2188)

    479c263c on GitHub

  3. opencv_core 0.3.0 (#2186)

    cdf7923b on GitHub
    New version

    opencv_core 0.3.0

    Version added to the index

    Thick Ada binding to OpenCV Core Library

    Origin
    git+https://github.com/zackboll/opencv_core_ada.git @ 0e2753be8ea0

    Dependency changes

    • Added mingw_w64_gcc (case(os)=windows) *
    • Added opencv *
    • Added pkg_config *

  4. adalang_analyzer 1.6.0 (via `alr publish`) (#2185)

    4811af67 on GitHub
    New version

    adalang_analyzer 1.6.0

    Version added to the index

    A Libadalang-based static analyzer for Ada source code

    Origin
    git+https://github.com/mmartign/AdaLang_Analyzer.git @ 52dc7e1799d8

    Dependency changes

    • Added gnatcoll_gmp ^26.0.0
    • Added gnatcoll_iconv ^26.0.0
    • Added langkit_support ^26.0.0
    • Added libadalang ^26.0.0
    • Added libgpr2 ^26.0.0
    • Added prettier_ada ^26.0.0
    • Added templates_parser ^26.0.0

  5. rabbitmq 0.2.0 (#2184)

    9c975894 on GitHub
    New version

    rabbitmq 0.2.0

    Version added to the index

    Ada bindings for the librabbitmq C client library

    Origin
    git+https://github.com/geewiz/rabbitmq_ada.git @ 589be7e8dc1e

    Dependency changes

    • Added librabbitmq *

  6. espidf_netif 0.1.0 (via `alr publish`) (#2183)

    f9915137 on GitHub

  7. espidf_wear_levelling 0.1.0 (via `alr publish`) (#2182)

    5efa3eac on GitHub

  8. joularcore 0.0.4 (via `alr publish`) (#2181)

    ed69149b on GitHub

  9. cpuload 0.0.4 (via `alr publish`) (#2180)

    3b0cee32 on GitHub

  10. espidf_tinyusb 0.1.0 (via `alr publish`) (#2177)

    a739db4d on GitHub

  11. espidf_spiffs 0.1.0 (via `alr publish`) (#2176)

    506451e0 on GitHub

  12. espidf_partition 0.1.0 (via `alr publish`) (#2175)

    90121b7c on GitHub

  13. espidf_nvs_flash 0.1.0 (via `alr publish`) (#2174)

    6240801f on GitHub

  14. espidf_mdns 0.1.0 (via `alr publish`) (#2173)

    88ac1566 on GitHub

  15. espidf_http_server 0.1.0 (via `alr publish`) (#2172)

    4f6b2e10 on GitHub

  16. espidf_event 0.1.0 (via `alr publish`) (#2171)

    bd0a9b02 on GitHub

  17. espidf 0.2.0 (via `alr publish`) (#2170)

    ad399b50 on GitHub
    New version

    espidf 0.2.0

    Version added to the index

    Ada/ESP-IDF: common types and utilities for ESP-IDF bindings

    Origin
    git+https://github.com/godunko/espidf.git @ 180c1c28078d

    Dependency changes

    • Added a0b_base ^0.5.0

  18. espidf_gnat_runtime 0.2.0 (via `alr publish`) (#2168)

    2bce3fb3 on GitHub

  19. a0b_buffers 0.1.0 (via `alr publish`) (#2167)

    2fd9bb19 on GitHub

  20. septum 1.0.0 (via `alr publish`) (#2164)

    b56f0c4c on GitHub
    New version

    septum 1.0.0

    Version added to the index

    An interactive context-based text search tool for large codebases.

    Origin
    git+https://github.com/pyjarrett/septum.git @ 5b9fb715bd30

    Dependency changes

    • Added ansiada ^1.1.0
    • Added atomic ~1.0.0
    • Added dir_iterators ~0.0.5
    • Added progress_indicators ~0.0.2
    • Added trendy_terminal ~0.0.8

  21. glyph 1.0.0 (via `alr publish`) (#2165)

    fcc0265c on GitHub
    New version

    glyph 1.0.0

    Version added to the index

    Portable graphics framework for embedded Ada systems

    Origin
    git+https://github.com/thirstymelon/glyph.git @ c09dd1a0b495

    Dependency changes

    • Added hal ^1.0.0

  22. rabbitmq 0.1.1 (via `alr publish`) (#2163)

    e79a7d93 on GitHub
    New version

    rabbitmq 0.1.1

    Version added to the index

    Ada bindings for the librabbitmq C client library

    Origin
    git+https://github.com/geewiz/rabbitmq_ada.git @ 3f587173e291

    Dependency changes

    • Added librabbitmq *

  23. adalang_analyzer 1.5.3 (#2159)

    0069e288 on GitHub
    New version

    adalang_analyzer 1.5.3

    Version added to the index

    A Libadalang-based static analyzer for Ada source code

    Origin
    git+https://github.com/mmartign/AdaLang_Analyzer.git @ 66d98aac2faf

    Dependency changes

    • Added gnatcoll_gmp ^26.0.0
    • Added gnatcoll_iconv ^26.0.0
    • Added langkit_support ^26.0.0
    • Added libadalang ^26.0.0
    • Added libgpr2 ^26.0.0
    • Added prettier_ada ^26.0.0
    • Added templates_parser ^26.0.0

  24. adalang_analyzer 1.5.2 (via `alr publish`) (#2156)

    56bf14fa on GitHub
    New version

    adalang_analyzer 1.5.2

    Version added to the index

    A Libadalang-based static analyzer for Ada source code

    Origin
    git+https://github.com/mmartign/AdaLang_Analyzer.git @ 349fc861d25c

    Dependency changes

    • Added gnatcoll_gmp ^26.0.0
    • Added gnatcoll_iconv ^26.0.0
    • Added langkit_support ^26.0.0
    • Added libadalang ^26.0.0
    • Added libgpr2 ^26.0.0
    • Added prettier_ada ^26.0.0
    • Added templates_parser ^26.0.0

  25. simcpucli 0.6.0 (via `alr publish`) (#2158)

    6fcc78ef on GitHub
    New version

    simcpucli 0.6.0

    Version added to the index

    CLI for CPU simulator

    Origin
    git+https://github.com/BrentSeidel/Sim-CPU.git @ c98678d4582b

    Dependency changes

    • Added bbs ~0.1.0
    • Added bbs_lisp ~0.2.1
    • Added bbs_simcpu ~0.6.0
    • Added gnat >7.5

  26. blinkenlights 0.4.0 (via `alr publish`) (#2157)

    c088414f on GitHub
    New version

    blinkenlights 0.4.0

    Version added to the index

    Project to blink LEDs in interesting patterns

    Origin
    git+https://github.com/BrentSeidel/Pi-Mainframe.git @ bb554c3aa03e

    Dependency changes

    • Added bbs ~0.1.0
    • Added bbs_embed_common ~0.2.0
    • Added bbs_embed_linux ~0.2.0
    • Added bbs_simcpu ~0.6.0
    • Added bbs_webif ~0.1.0

  27. Add ipfs 0.1.0 (#2117)

    a9ae70c3 on GitHub
    New crate

    ipfs 0.1.0

    Crate added to the index

    IPFS client library for Ada: CID, CAR, UnixFS, gateway client

    Origin
    git+https://github.com/kokhlo/ipfs.git @ 39b9a1bcee67

  28. uhppoted-lib 0.3.0 (#2118)

    4c8c2545 on GitHub

  29. radio_kit 0.2.1 (via `alr publish`) (#2136)

    64c6b8d6 on GitHub
    New version

    radio_kit 0.2.1

    Version added to the index

    Experimental RP2040 radio framework using native clock outputs

    Origin
    git+https://github.com/thirstymelon/Radio_Kit.git @ 475b1073ebe2

    Dependency changes

    • Added pico_bsp ^2.2.0

  30. trendy_terminal 0.0.8 (via `alr publish`) (#2155)

    53e2dd0f on GitHub

  31. Add keynub_licdongle 1.1.1 (#2146)

    f3564a6e on GitHub

  32. png_embed 1.0.1 (via `alr publish`) (#2154)

    4af17998 on GitHub

  33. adalang_analyzer 1.5.1 (via `alr publish`) (#2153)

    c18c31e0 on GitHub
    New version

    adalang_analyzer 1.5.1

    Version added to the index

    A Libadalang-based static analyzer for Ada source code

    Origin
    git+https://github.com/mmartign/AdaLang_Analyzer.git @ 55b44fa8295f

    Dependency changes

    • Added gnatcoll_gmp ^26.0.0
    • Added gnatcoll_iconv ^26.0.0
    • Added langkit_support ^26.0.0
    • Added libadalang ^26.0.0
    • Added libgpr2 ^26.0.0
    • Added prettier_ada ^26.0.0
    • Added templates_parser ^26.0.0

  34. fix ncursesada for newer gcc versions (e.g. gcc-15) (#2128)

    e7e80aaa on GitHub

  35. opencv_core 0.2.0 (#2144)

    c7196ebc on GitHub
    New version

    opencv_core 0.2.0

    Version added to the index

    Thick Ada binding to OpenCV Core Library

    Origin
    git+https://github.com/zackboll/opencv_core_ada.git @ d273c674bd24

    Dependency changes

    • Added mingw_w64_gcc (case(os)=windows) *
    • Added opencv *
    • Added pkg_config *

  36. czmq_ada 0.6.0 (via `alr publish`) (#2152)

    88172fe6 on GitHub

  37. Create hac-0.45.0.toml for HAC Ada Compiler (#2151)

    2738cd67 on GitHub
    New version

    hac 0.45.0

    Version added to the index

    HAC Ada Compiler: a small, quick Ada compiler covering a subset of Ada

    Origin
    https://sourceforge.net/projects/hacadacompiler/files/hac-0.45.zip

  38. Add excel_writer-20.0.0.toml (#2150)

    f9bf3513 on GitHub

  39. Ada Class Library release 1.8.11 (#2149)

    061feb4a on GitHub
    New version

    hp41cx_tools 1.8.11

    Version added to the index

    Cross-platform tools to supercharge your HP-41CX emulator experience

    Origin
    https://sourceforge.net/projects/calculator-scripts/files/Alire/hp41cx_tools-1.8.11.tgz

    Dependency changes

    • Added adacl ^8.0
    • Added adacl_regexp ^8.0
    • Added adacl_sar ^8.0

  40. MOS 6502 Tutorial release 1.5.3 (#2147)

    e8bd5475 on GitHub

  41. frostlake 0.1.0 (via `alr publish`) (#2145)

    78b394c5 on GitHub

  42. Ada Class Library adacl_aunit release 8.0.0 (#2132)

    6a619c16 on GitHub
    New version

    adacl_aunit 8.0.0

    Version added to the index

    AdaCL desktop: Readable AUnit asserts and parameterised tests

    Origin
    https://sourceforge.net/projects/adacl/files/Alire/adacl_aunit-8.0.0.tgz

    Dependency changes

    • Added adacl ^8.0
    • Added adacl_desktop ^8.0
    • Added aunit ^26.0.0

  43. yamlscript 0.3.1 (via `alr publish`) (#2143)

    e38d8405 on GitHub

  44. Pi Ada Tutorial release 1.9.0 (#2142)

    36bd8429 on GitHub

  45. st7735 1.0.0 (#2141)

    842a18e2 on GitHub

  46. yamlscript 0.3.0 (via `alr publish`) (#2140)

    687689ec on GitHub

  47. joularcore 0.0.3 (via `alr publish`) (#2139)

    68e75372 on GitHub

  48. cpuload 0.0.3 (via `alr publish`) (#2138)

    f4ca2e69 on GitHub

  49. Ada Class Library adacl_sar release 8.0.0 (#2135)

    08587ec0 on GitHub
    New version

    adacl_sar 8.0.0

    Version added to the index

    AdaCL desktop: Search and replace with wide and wide-wide text

    Origin
    https://sourceforge.net/projects/adacl/files/Alire/adacl_sar-8.0.0.tgz

    Dependency changes

    • Added adacl_desktop ^8.0

  50. Ada Class Library adacl_regexp release 8.0.0 (#2134)

    243cfe06 on GitHub

  51. Ada Class Library adacl_eastrings release 8.0.0 (#2133)

    1b81fb9a on GitHub

  52. Ada Class Library adacl_serial release 8.0.0 (#2131)

    68d9b7fc on GitHub

  53. Ada Class Library adacl_embedded release 8.0.0 (#2130)

    a7cf761f on GitHub

  54. Ada Class Library adacl_desktop release 8.0.0 (#2129)

    0ecc783e on GitHub

  55. covex 1.48.0 (via `alr publish`) (#2127)

    2a9b870d on GitHub

  56. Ada Class Library adacl release 8.0.0 (#2126)

    5183221b on GitHub
    New version

    adacl 8.0.0

    Version added to the index

    AdaCL: SPARK gold core shared by desktop, embedded and bare-metal

    Origin
    https://sourceforge.net/projects/adacl/files/Alire/adacl-8.0.0.tgz

  57. adalang_analyzer 1.5.0 (via `alr publish`) (#2125)

    514f522d on GitHub
    New version

    adalang_analyzer 1.5.0

    Version added to the index

    A Libadalang-based static analyzer for Ada source code

    Origin
    git+https://github.com/mmartign/AdaLang_Analyzer.git @ f3fb5da951ba

    Dependency changes

    • Added gnatcoll_gmp ^26.0.0
    • Added gnatcoll_iconv ^26.0.0
    • Added langkit_support ^26.0.0
    • Added libadalang ^26.0.0
    • Added libgpr2 ^26.0.0
    • Added prettier_ada ^26.0.0
    • Added templates_parser ^26.0.0

  58. bbs_simcpu 0.6.0 (via `alr publish`) (#2122)

    252b6d27 on GitHub

  59. yamlstar 0.1.21 (via `alr publish`) (#2121)

    f99b11ba on GitHub

  60. yamlstar 0.1.20 (via `alr publish`) (#2116)

    17b87ec6 on GitHub

  61. lithophane 1.0.0 (via `alr publish`) (#2113)

    274bb725 on GitHub

  62. yamlstar 0.1.19 (via `alr publish`) (#2110)

    97284d3f on GitHub

  63. Pi Ada Tutorial pico_xbsp release 1.9.0 (#2109)

    5155e388 on GitHub
    New version

    pico_xbsp 1.9.0

    Version added to the index

    Extended board support package for Raspberry Pi Pico

    Origin
    https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_xbsp-1.9.0.tgz

    Dependency changes

    • Added adacl_embedded ^7.2
    • Added pico_bsp ^2.2
    • Added usb_embedded ^1.0.0

  64. opencv_core 0.1.0 (#2071)

    b99c1285 on GitHub
    New crate

    opencv_core 0.1.0

    Crate added to the index

    Thick Ada binding to OpenCV Core Library

    Origin
    git+https://github.com/zackboll/opencv_core_ada.git @ 7788f7da8457

    Dependency changes

    • Added mingw_w64_gcc (case(os)=windows) *
    • Added opencv *
    • Added pkg_config *

  65. joularcore 0.0.2 (#2106)

    b2cc086c on GitHub

  66. cpuload 0.0.2 (#2105)

    edfc2a30 on GitHub

  67. cpuload 0.0.1 (#2104)

    58b92796 on GitHub

  68. covex 1.40.0 (#2103)

    e31f32c7 on GitHub

  69. transport_kit 0.1.0 (#2102)

    71827761 on GitHub

  70. community-bb-runtimes 16.0.0 (#2100)

    5a389b63 on GitHub

  71. radio_kit 0.2.0 (#2098)

    a7bcd2b8 on GitHub
    New crate

    radio_kit 0.2.0

    Crate added to the index

    Experimental RP2040 radio framework using native clock outputs

    Origin
    git+https://github.com/thirstymelon/Radio_Kit.git @ f19690ecc2ed

    Dependency changes

    • Added pico_bsp ^2.2.0

  72. adalang_analyzer 1.3.0 (#2096)

    3927a574 on GitHub
    New version

    adalang_analyzer 1.3.0

    Version added to the index

    A Libadalang-based static analyzer for Ada source code

    Origin
    git+https://github.com/mmartign/AdaLang_Analyzer.git @ 998da3cbb2c9

    Dependency changes

    • Added gnatcoll_gmp ^26.0.0
    • Added gnatcoll_iconv ^26.0.0
    • Added langkit_support ^26.0.0
    • Added libadalang ^26.0.0
    • Added libgpr2 ^26.0.0
    • Added prettier_ada ^26.0.0
    • Added templates_parser ^26.0.0

  73. joularcore 0.0.1 (#2095)

    adf559a3 on GitHub

  74. adacl_embedded 7.2.1 (#2084)

    f4d970c1 on GitHub

  75. powerjoular 1.1.1 (#2094)

    dde249d7 on GitHub

  76. uarp_sdk 0.5.14 (#2059)

    cf7dcaed on GitHub
    New crate

    uarp_sdk 0.5.14

    Crate added to the index

    Ada client for the UARP (Snaga) Universal Agent Runtime Platform API

    Origin
    https://github.com/Snaga-AI/uarp-sdks/releases/download/v0.5.14/uarp_sdk-0.5.14.tgz

    Dependency changes

    • Added gnatcoll >=25.0.0 & <27.0.0
    • Added libcurl (case(os)=linux|windows) *

  77. adalang_analyzer 1.2.0 (#2089)

    23269b9e on GitHub
    New version

    adalang_analyzer 1.2.0

    Version added to the index

    A Libadalang-based static analyzer for Ada source code

    Origin
    git+https://github.com/mmartign/AdaLang_Analyzer.git @ 96bd51160e88

    Dependency changes

    • Added gnatcoll_gmp ^26.0.0
    • Added gnatcoll_iconv ^26.0.0
    • Added langkit_support ^26.0.0
    • Added libadalang ^26.0.0
    • Added libgpr2 ^26.0.0
    • Added prettier_ada ^26.0.0
    • Added templates_parser ^26.0.0

  78. lithophane 0.1.1 (#2092)

    d44cfa2e on GitHub

  79. yamlscript 0.2.32 (#2091)

    15ee2335 on GitHub

  80. simple_components 4.81.1 (#2079)

    66bd2ffd on GitHub

  81. adsa 1.5.3 (#2088)

    25a65ce1 on GitHub
    New version

    adsa 1.5.3

    Version added to the index

    Ada Annex E (DSA) runtime + gnatdist replacement, backed by ZeroMQ

    Origin
    git+https://github.com/charlie5/aDSA.git @ 4926831cd7e0

    Dependency changes

    • Added gnat >=12

  82. automate 3.0.1 (#2090)

    686196af on GitHub

  83. adacl_serial 7.2.1 (#2086)

    7089ba2c on GitHub

  84. adacl_sar 7.2.1 (#2085)

    0e101e3a on GitHub

  85. adacl_regexp 7.2.1 (#2083)

    3b0b1e85 on GitHub

  86. adacl_eastrings 7.2.1 (#2082)

    1599f740 on GitHub

  87. adacl_aunit 7.2.1 (#2081)

    14fd1c93 on GitHub

  88. adacl 7.2.1 (#2080)

    79231ac9 on GitHub
    New version

    adacl 7.2.1

    Version added to the index

    Ada Class Library: Strings, Tracing, AUnit, Smart Pointers, Getopt

    Origin
    https://sourceforge.net/projects/adacl/files/Alire/adacl-7.2.1.tgz

  89. lithophane 0.1.0 (#2078)

    9ee60e0e on GitHub

  90. yamlscript 0.2.31 (#2076)

    d3366dda on GitHub

  91. crdt 1.12.0 (#2075)

    a0d69394 on GitHub

  92. covex 1.17.0 (#2074)

    f7e12d4a on GitHub

  93. zanyblue tools 2.0.1 (#2073)

    457ba2a3 on GitHub
    New version

    zbinfo 2.0.1

    Version added to the index

    Display localization information for ZanyBlue Ada Localization

    Origin
    git+https://github.com/Blady-Com/zanyblue.git @ 4a7549b1f497

    Dependency changes

    • Added uxstrings >=0.9.4
    • Added zblib ^2.0.1
    New version

    zbtest 2.0.1

    Version added to the index

    Testing utility for ZanyBlue Ada Localization

    Origin
    git+https://github.com/Blady-Com/zanyblue.git @ 1784241f610c

    Dependency changes

    • Added uxstrings >=0.9.4
    • Added zblib ^2.0.1

  94. adsa 1.5.2 (#2072)

    def682d1 on GitHub
    New version

    adsa 1.5.2

    Version added to the index

    Ada Annex E (DSA) runtime + gnatdist replacement, backed by ZeroMQ

    Origin
    git+https://github.com/charlie5/aDSA.git @ 54b60db61b54

    Dependency changes

    • Added gnat >=12

  95. yamlscript 0.2.30 (#2070)

    252bbbd2 on GitHub

  96. adalang_analyzer 1.1.0 (#2069)

    d20bb9ac on GitHub
    New version

    adalang_analyzer 1.1.0

    Version added to the index

    A Libadalang-based static analyzer for Ada source code

    Origin
    git+https://github.com/mmartign/AdaLang_Analyzer.git @ df69a9825289

    Dependency changes

    • Added gnatcoll_gmp ^26.0.0
    • Added gnatcoll_iconv ^26.0.0
    • Added langkit_support ^26.0.0
    • Added libadalang ^26.0.0
    • Added libgpr2 ^26.0.0
    • Added prettier_ada ^26.0.0
    • Added templates_parser ^26.0.0

  97. gnoga 2.2.3 (#2068)

    166c8dbe on GitHub
    New version

    gnoga 2.2.3

    Version added to the index

    gnoga - The GNU Omnificent GUI for Ada

    Origin
    git+https://github.com/Blady-Com/gnoga.git @ a6c70524a41f

    Dependency changes

    • Added simple_components ^4.81
    • Added uxstrings >=0.9.4

  98. adalang_analyzer 1.0.0 (#2066)

    cd12c6aa on GitHub
    New crate

    adalang_analyzer 1.0.0

    Crate added to the index

    A Libadalang-based static analyzer for Ada source code

    Origin
    git+https://github.com/mmartign/AdaLang_Analyzer.git @ 32c70904011c

    Dependency changes

    • Added gnatcoll_gmp ^26.0.0
    • Added gnatcoll_iconv ^26.0.0
    • Added langkit_support ^26.0.0
    • Added libadalang ^26.0.0
    • Added libgpr2 ^26.0.0
    • Added prettier_ada ^26.0.0
    • Added templates_parser ^26.0.0

  99. zblib 2.0.1 (#2056)

    33dc9e66 on GitHub
    New version

    zblib 2.0.1

    Version added to the index

    Library for ZanyBlue Ada Localization

    Origin
    git+https://github.com/Blady-Com/zanyblue.git @ 3343b7730285

    Dependency changes

    • Added uxstrings >=0.9.4

  100. covex 1.14.0 (#2067)

    d428020f on GitHub

  101. a0b_tools 0.3.0 (#2064)

    e486bff5 on GitHub
    New version

    a0b_tools 0.3.0

    Version added to the index

    A0B Tools: Runtime Generator

    Origin
    git+https://github.com/godunko/a0b-tools.git @ 94da5a5e0a15

    Dependency changes

    • Added a0b_base *
    • Added gnat ^15
    • Added gnatcoll ^25
    • Added vss_extra *
    • Added vss_text *

  102. adsa 1.5.0 (#2063)

    f7abf273 on GitHub

  103. adsa 1.5.1 (#2055)

    52101754 on GitHub
    New version

    adsa 1.5.1

    Version added to the index

    Ada Annex E (DSA) runtime + gnatdist replacement, backed by ZeroMQ

    Origin
    https://github.com/charlie5/aDSA/releases/download/v1.5.1/adsa-1.5.1.tar.gz

    Dependency changes

    • Added gnat >=12

  104. glyph 0.3.0 (#2062)

    6511cb44 on GitHub
    New version

    glyph 0.3.0

    Version added to the index

    Portable graphics framework for embedded Ada systems

    Origin
    git+https://github.com/thirstymelon/glyph.git @ 78db1887e73a

  105. crdt 1.9.0 (#2061)

    0965bb63 on GitHub

  106. covex 1.9.0 (#2060)

    8e293ae0 on GitHub

  107. asfml 3.0.0 (#2058)

    d27c9432 on GitHub
    New version

    asfml 3.0.0

    Version added to the index

    Ada binding to SFML, the Simple and Fast Multimedia Library

    Origin
    git+https://github.com/mgrojo/ASFML.git @ 92f1513aa47b

    Dependency changes

    • Added libcsfml ^3.0.0

  108. cachelines 0.1.0 (#2043)

    64a59157 on GitHub

  109. grammaticus 0.1.0 (#2057)

    559fe440 on GitHub

  110. glyph 0.2.0 (#2053)

    7e741407 on GitHub
    New version

    glyph 0.2.0

    Version added to the index

    Lightweight embedded graphics framework for Ada 2022

    Origin
    git+https://github.com/thirstymelon/glyph.git @ e513292ba8be

  111. covex 1.6.0 (#2054)

    ba8b4d50 on GitHub

  112. GNAT FSF 16.1.0 cross-compilers (#2052)

    09459312 on GitHub

  113. proven_components 1.2.0 (via `alr publish`) (#2046)

    eadd146f on GitHub

  114. Create adsa-1.5.0.toml configuration file (#2050)

    a8f38158 on GitHub
    New crate

    adsa 1.5.0

    Crate added to the index

    Ada Annex E (DSA) runtime + gnatdist replacement, backed by ZeroMQ

    Origin
    https://codeberg.org/charlie5/aDSA/releases/download/v1.5.0/adsa-1.5.0.tar.gz

    Dependency changes

    • Added gnat >=12

  115. ieee_ethernet 1.0.0 (via `alr publish`) (#2051)

    48a3d20a on GitHub

  116. standard_atomic_ops 1.0.0 (via `alr publish`) (#2045)

    26490d1c on GitHub

  117. glyph 0.1.0 (#2042)

    6d5ac668 on GitHub

  118. covex 1.1.0 (#2041)

    4dfbfb21 on GitHub

  119. simple_components 4.81.0 (#2017)

    260cad22 on GitHub

  120. admpfr 4.2.0 (#2039)

    ed184b18 on GitHub
    New version

    admpfr 4.2.0

    Version added to the index

    Ada bindings for MPFR

    Origin
    git+https://github.com/thvnx/admpfr.git @ 4e18fa8db9e1

    Dependency changes

    • Added gnat >=12 & <2000
    • Added libmpfr ^4.2.0

  121. covex 1.0.0 (#2037)

    b96e6ac2 on GitHub

  122. yamlstar 0.1.18 (#2038)

    9f646c5e on GitHub

  123. crdt 1.7.0 (#2031)

    9c1ca918 on GitHub

  124. meadowsweet_jintp 0.1.0 (#2035)

    0a64d0d0 on GitHub

  125. hostarm 26.5.2 (via `alr publish`) (#2032)

    12df066c on GitHub
    New version

    hostarm 26.5.2

    Version added to the index

    CGI provider for Ada Reference Manual (ARM)

    Origin
    git+https://github.com/jquorning/hostarm.git @ ec3fb4546668

    Dependency changes

    • Added resources =0.1.0
    • Added templates_parser =26.0.0

  126. meadowsweet 0.1.0 (#2023)

    ad318d81 on GitHub

  127. proven_components 1.1.0 (via `alr publish`) (#2030)

    d4ff825b on GitHub

  128. yamlscript 0.2.29 (via `alr publish`) (#2029)

    05cd5fd0 on GitHub

  129. yamlstar 0.1.17 (via `alr publish`) (#2028)

    801a3208 on GitHub

  130. sparklib fsf library_kind hotfix (#2021)

    7fd1cd00 on GitHub

  131. add a bunch of website fields to AdaCore crates (#2026)

    9bf510ad on GitHub

  132. update vss-text and vss-extra to the 26.2 release (#2025)

    559a2ce1 on GitHub

  133. Add test support with alr. (#2022)

    26a85339 on GitHub

  134. yamlscript 0.2.28 (via `alr publish`) (#2020)

    6fb35bed on GitHub

  135. MOS 6502 Tutorial release 1.5.2 (#2016)

    6b299c54 on GitHub

  136. ssh_protocol 0.0.2 (#2018)

    27945d96 on GitHub

  137. ml_dsa 1.0.0 (#2010)

    e0216fb8 on GitHub
    New crate

    ml_dsa 1.0.0

    Crate added to the index

    SPARK-proved ML-DSA (FIPS 204) lattice-based digital signatures

    Origin
    git+https://github.com/b-erdem/ml_dsa_ada.git @ 259116004ff3

    Dependency changes

    • Added gnat >=14.2.1
    • Added sha3 ~1.0

  138. ml_kem 1.0.0 (#2009)

    340f81b7 on GitHub
    New crate

    ml_kem 1.0.0

    Crate added to the index

    SPARK-proved ML-KEM (FIPS 203) lattice-based key encapsulation

    Origin
    git+https://github.com/b-erdem/ml_kem_ada.git @ 0b46ce23243d

    Dependency changes

    • Added gnat >=14.2.1
    • Added sha3 ~1.0

  139. adacl_aunit 7.2.0 (#2012)

    a3be4d2b on GitHub

  140. adacl 7.2.0 (#2014)

    9dad09fb on GitHub
    New version

    adacl 7.2.0

    Version added to the index

    Ada Class Library: Strings, Tracing, AUnit, Smart Pointers, Getopt

    Origin
    https://sourceforge.net/projects/adacl/files/Alire/adacl-7.2.0.tgz

  141. adacl_eastrings 7.2.0 (#2013)

    c18c9344 on GitHub

  142. blake3 1.0.0 (#2007)

    baf427c9 on GitHub
    New crate

    blake3 1.0.0

    Crate added to the index

    SPARK-proved BLAKE3 hash function (C2SP specification)

    Origin
    git+https://github.com/b-erdem/blake3_ada.git @ 06634237deb9

    Dependency changes

    • Added gnat >=14.2.1

  143. sha3 1.0.0 (#2006)

    99cb3d77 on GitHub
    New crate

    sha3 1.0.0

    Crate added to the index

    SPARK-proved SHA-3/SHAKE (FIPS 202) hash functions

    Origin
    git+https://github.com/b-erdem/sha3_ada.git @ dd0b8954860b

    Dependency changes

    • Added gnat >=14.2.1

  144. bbt 0.3.0 (#1889)

    2e062071 on GitHub
    New version

    bbt 0.3.0

    Version added to the index

    Black box test runner

    Origin
    git+https://github.com/LionelDraghi/bbt @ df838f333e73

    Dependency changes

    • Added ansiada ^1.0.0

  145. cbor_ada 0.3.0 (#2008)

    a35b5fc0 on GitHub

  146. gnatprove 16.1.0 (#2000)

    0c40df50 on GitHub

  147. gnat_native 16.1.0 (#2001)

    8d262460 on GitHub

  148. gnat+cross 15.3.1 (#2003)

    60951e6c on GitHub

  149. simcpucli 0.5.0 (via `alr publish`) (#2005)

    13dbed5f on GitHub
    New version

    simcpucli 0.5.0

    Version added to the index

    CLI for CPU simulator

    Origin
    git+https://github.com/BrentSeidel/Sim-CPU.git @ c779a7285eb8

    Dependency changes

    • Added bbs ~0.1.0
    • Added bbs_lisp ~0.2.1
    • Added bbs_simcpu ~0.5.0
    • Added gnat >7.5

  150. bbs_simcpu 0.5.0 (via `alr publish`) (#2004)

    0efd21c6 on GitHub

  151. lace_physics 1.0.0 (#2002)

    9fdf997e on GitHub

  152. wolfssl 5.9.2 (#1994)

    15dd2990 on GitHub

  153. lace_bullet 1.0.0 (#1999)

    216622dc on GitHub

  154. pi ada tutorial 1.8.0 metadata update descriptions (#1998)

    ad9ee27b on GitHub

  155. lace_box2d 1.0.0 (#1996)

    e69c344b on GitHub

  156. proven_components 1.0.0 (#1995)

    0a173041 on GitHub

  157. zbinfo, zbmcompile, zbtest 2.0.0 (#1991)

    18db9f9b on GitHub
    New version

    zbinfo 2.0.0

    Version added to the index

    Display localization information for ZanyBlue Ada Localization

    Origin
    git+https://github.com/Blady-Com/zanyblue.git @ 39939cb77817

    Dependency changes

    • Added zblib 2.0.0
    New crate

    zbtest 2.0.0

    Crate added to the index

    Testing utility for ZanyBlue Ada Localization

    Origin
    git+https://github.com/Blady-Com/zanyblue.git @ 39939cb77817

    Dependency changes

    • Added zblib 2.0.0

  158. servletada 1.8.2 (#1992)

    cb8f5544 on GitHub
    New version

    servletada 1.8.2

    Version added to the index

    Web Servlet Library following JSR 154, JSR 315 (Core)

    Origin
    git+https://github.com/stcarrez/ada-servlet.git @ 3fc896897882

    Dependency changes

    • Added elada ^1.8.5
    • Added security ^1.6.0
    • Added utilada ^2.9.0

  159. lace_c_math 1.0.0 (#1993)

    a2fd77fd on GitHub

  160. lace_opengl 1.0.0 (#1990)

    c15ff2ef on GitHub

  161. security 1.6.0 (#1988)

    7d4d0166 on GitHub
    New version

    security 1.6.0

    Version added to the index

    Security Library for HTTP client and server with OAuth2 support

    Origin
    git+https://github.com/stcarrez/ada-security.git @ 9ca2987053dd

    Dependency changes

    • Added utilada ^2.9.0
    • Added utilada_xml ^2.9.0

  162. are 1.5.2 (#1989)

    6c3ba174 on GitHub
    New version

    are 1.5.2

    Version added to the index

    Advanced Resource Embedder

    Origin
    git+https://github.com/stcarrez/resource-embedder.git @ eab228627a43

    Dependency changes

    • Added elada ^1.8.6
    • Added utilada ^2.9.0
    • Added xmlada ^23.0.0

  163. akt, keystoreada 1.4.3 (#1987)

    03db204a on GitHub
    New version

    akt 1.4.3

    Version added to the index

    Ada Keystore Tool

    Origin
    git+https://gitlab.com/stcarrez/ada-keystore.git @ 4ffbf105fd3c

    Dependency changes

    • Added ada_fuse (case(os)=linux) *
    • Added intl ^1.0.1
    • Added keystoreada ^1.4.3
    • Added resources ~0.1.0
    • Added utilada ^2.9.0

  164. lace_collada 1.0.0 (#1986)

    f9a6a85c on GitHub

  165. zanyblue 2.0.0. (#1978)

    5063bb3e on GitHub
    New version

    zblib 2.0.0

    Version added to the index

    Library for ZanyBlue Ada Localization

    Origin
    git+https://github.com/Blady-Com/zanyblue.git @ 39939cb77817

    Dependency changes

    • Added uxstrings 0.9.2

  166. lace_swig 1.0.0 (via `alr publish`) (#1976)

    082c6389 on GitHub

  167. lace_xml 1.0.0 (via `alr publish`) (#1968)

    44804126 on GitHub
    New version

    lace_xml 1.0.0

    Version added to the index

    Provides simple XML read/write support.

    Origin
    git+https://github.com/charlie5/lace.git @ 934d277661e0

    Dependency changes

    • Added lace_shared ^1.0.0
    • Added libexpat *

  168. lace_math 1.0.0 (via `alr publish`) (#1966)

    c5f00e30 on GitHub
    New version

    lace_math 1.0.0

    Version added to the index

    Provides an Ada package family covering pure and applied mathematics.

    Origin
    git+https://github.com/charlie5/lace.git @ 934d277661e0

    Dependency changes

    • Added lace_shared ^1.0.0

  169. Add Alire support for Gnoga V2.2. (#1985)

    87774f91 on GitHub
    New version

    gnoga 2.2.2

    Version added to the index

    gnoga - The GNU Omnificent GUI for Ada

    Origin
    git+https://github.com/Blady-Com/gnoga.git @ 2513b058ff0a

    Dependency changes

    • Added gnat >=2021 | (>=12 & <2000)
    • Added simple_components ^4.62.0
    • Added uxstrings 0.9.3

  170. uxstrings 0.9.3 (#1980)

    00dee377 on GitHub

  171. uhppoted_lib 0.2.0 (#1975)

    503f31c7 on GitHub

  172. df_ccv 0.1.0 (#1954)

    56ef597b on GitHub

  173. feat: check manifests against schema (#1965)

    01ec5f41 on GitHub

  174. df_llama 0.1.0 (#1958)

    9c934881 on GitHub

  175. pico_xbsp 1.8.0 (#1979)

    4e91b540 on GitHub
    New version

    pico_xbsp 1.8.0

    Version added to the index

    Extended board support package for Raspberry Pi Pico

    Origin
    https://sourceforge.net/projects/pi-ada-tutorial/files/Alire/pico_xbsp-1.8.0.tgz

    Dependency changes

    • Added adacl_embedded ^7.1.2
    • Added pico_bsp ^2.2
    • Added usb_embedded ^1.0.0

  176. Pi Ada Tutorial release 1.8.0 (#1982)

    4d5f8f87 on GitHub

  177. ada message pack (#1922)

    cbf2f2bc on GitHub

  178. AdaCL release 7.1.2 (#1977)

    4206a195 on GitHub
    New version

    adacl 7.1.2

    Version added to the index

    Ada Class Library: Strings, Tracing, AUnit, Smart Pointers, Getopt

    Origin
    https://sourceforge.net/projects/adacl/files/Alire/adacl-7.1.2.tgz

  179. Add spdx-tool 1.0.0 crate (new release) (#1983)

    758416bb on GitHub
    New version

    spdx_tool 1.0.0

    Version added to the index

    SPDX license detection and management tool

    Origin
    git+https://gitlab.com/stcarrez/spdx-tool.git @ a2c70523a2c7

    Dependency changes

    • Added ada_toml ~0.5.0
    • Added ansiada ^1.0.0
    • Added intl ^1.0.1
    • Added magicada (case(os)=linux) ^1
    • Added printer_toolkit ~0.2.0
    • Added sciada ~0.4.0
    • Added spdx ~0.2.0
    • Added utilada ^2.8.0
    • Added utilada_xml ^2.8.0

  180. Add Ada Utility Library 2.9.0 crates (#1984)

    02c29bc8 on GitHub

  181. df_box2d 0.1.0 (#1957)

    9b4518a8 on GitHub

  182. df_imgui 0.1.0 (#1956)

    9bcd58a4 on GitHub

  183. df_stb 0.1.0 (#1955)

    7b00e4ae on GitHub
    New crate

    df_stb 0.1.0

    Crate added to the index

    Ada bindings to Sean Barrett's STB header-only utility libraries

    Origin
    git+https://github.com/the-dark-factory/stb-ada.git @ c3442adac650

  184. libsap 0.3.0 (#1973)

    654a4601 on GitHub
    New version

    libsap 0.3.0

    Version added to the index

    Asynchronous message passing for protocol stacks

    Origin
    git+https://github.com/damaki/libsap.git @ d3305919b980

    Dependency changes

    • Added atomic ^1.1.0
    • Added gnat >=14

  185. Update UXStrings to version 0.9.2 (more fixes). (#1964)

    2ab5e4b1 on GitHub

  186. lace 1.0.0 (via `alr publish`) (#1962)

    75495c5a on GitHub
    New version

    lace 1.0.0

    Version added to the index

    Contains a set of low level re-usable Ada components.

    Origin
    git+https://github.com/charlie5/lace.git @ 934d277661e0

    Dependency changes

    • Added lace_shared ^1.0.0

  187. simple_components metadata: fix casing of dependency (#1963)

    0a0d12e3 on GitHub

  188. lace_shared 1.0.0 (#1961)

    56db2495 on GitHub

  189. clara 1.0.1 (#1960)

    5c5dc094 on GitHub
    New crate

    clara 1.0.1

    Crate added to the index

    Type-safe CLI argument parsing with functional monads

    Origin
    git+https://github.com/abitofhelp/clara.git @ 1dafa0e89978

    Dependency changes

    • Added functional ^4.0.0
    • Added gnat >=13

  190. df_vulkan 0.1.0 (#1952)

    ee0a84c9 on GitHub

  191. crdt 1.5.0 (via alr publish) (#1953)

    24b4b9e6 on GitHub

  192. functional 4.1.1 (#1951)

    44490572 on GitHub

  193. libsap 0.2.0 (#1950)

    6b51ea32 on GitHub
    New version

    libsap 0.2.0

    Version added to the index

    Asynchronous message passing for protocol stacks

    Origin
    git+https://github.com/damaki/libsap.git @ 6539a6489177

    Dependency changes

    • Added atomic ^1.1.0
    • Added gnat >=14

  194. crdt 1.3.0 (#1943)

    8081044f on GitHub

  195. dev: bump Alire version to 2.1.1 and setup-alire to @latest (#1942)

    a3da8925 on GitHub

  196. crdt 1.1.0 (via `alr publish`) (#1941)

    e61b8528 on GitHub

  197. feat: new crate name check, plus reusable workflow (#1935)

    a5980b01 on GitHub