Commit Graph

995 Commits

Author SHA1 Message Date
Léo Germond b62b41edcb labs_solar_system 0.1.1 (#814) 2023-05-23 20:56:10 +02:00
Léo Germond 294d68b392 labs_standalone 0.1.0 (#811) 2023-05-18 12:33:11 +02:00
Léo Germond 7c951dacbc labs_radar 0.1.0 (#810) 2023-05-18 12:32:16 +02:00
A.J. Ianozi 9f2412111a iso 2.0.0 (#809) 2023-05-16 12:53:17 +02:00
Alejandro R Mosteo 03f6b7c0be New check author workflow (#808)
* New check author workflow

* Fix checkout of alire-index-checks
2023-05-11 12:40:08 +02:00
Stephane Carrez 83405d459a ayacc 1.4.0 (#807) 2023-05-08 12:40:40 +02:00
Stephane Carrez a4bb11f25e aflex 1.6.0 (#806) 2023-05-08 12:39:52 +02:00
HonkiTonk 2bf762c706 honki_tonks_zivilisationen 0.5.510-dev (#805) 2023-05-08 12:35:06 +02:00
A.J. Ianozi a347650e54 Releasing The Ada ISO Library (#804)
* Releasing The Ada ISO Library

This is the initial release for the Ada ISO Library, which at the moment contains the implementation of ISO 3166-1 (Country Codes) with other implementations planned next (such as currencies).

* Releasing The Ada ISO Library

This is the initial release for the Ada ISO Library, which at the moment contains the implementation of ISO 3166-1 (Country Codes) with other implementations planned next (such as currencies).
2023-05-05 13:34:07 +02:00
Simon Wright 5174b6adad libadalang2xml 1.0.0 (#801)
This tool generates an XML representation of the structure of an Ada source
file.

  * index/li/libadalang2xml/libadalang2xml-1.0.0.toml: new.
2023-05-02 14:29:21 +02:00
pmunts 5d8d5a55c6 libsimpleio, mcp2221, remoteio 1.21121.1 (#800)
libsimpleio release 1.21121.1
mcp2221 release 1.21121.1
remoteio release 1.21121.1

Reconciled some capitalization inconsistencies.  Also some other
minor cleanups.

This exactly matches the general Debian package release
munts-libsimpleio-2023.115.1-debian11-<arch>.deb.
2023-05-02 14:23:14 +02:00
yannickmoy bbece6102a program_proofs_in_spark 0.1.1 (#799)
* Publish project of SPARK examples

This will be useful for training / tutorials based on Alire.

* Updated the examples to include drivers for execution
2023-04-28 10:14:30 +02:00
Simon Wright 6153961d80 libgmp external for Homebrew (#770)
* index/li/libgmp/libgmp-external.toml (external): for package manager
    homebrew, fetch 'gmp'.
2023-04-26 10:28:50 +02:00
Léo Germond 9432950cde mage_hat 0.2.0 (#798) 2023-04-25 13:35:54 +02:00
Tama McGlinn 8cc2b10063 Adabots 1.5.0 release (#796)
Added crafting and detecting nodes
2023-04-20 17:24:05 +02:00
yannickmoy cee0baa186 Publish project of SPARK examples (#797)
This will be useful for training / tutorials based on Alire.
2023-04-20 17:20:20 +02:00
Saiffullah Sabir Mohamed 678933d13e geo_coords 1.0.0 (#794) 2023-04-16 12:30:47 +02:00
Martin Krischik 74b5dc2981 atari_atr_tools 1.1.1 (#788)
* 6502 tutorial module atari_atr_tools release 1.1.1

* Correct tags.
2023-04-13 12:55:35 +02:00
Martin Krischik 59499de50a mos6502_create_reset 1.1.2 (#793) 2023-04-13 12:54:31 +02:00
Martin Krischik 5d415434f6 mos6502_create_led 1.1.2 (#792) 2023-04-13 12:53:12 +02:00
Martin Krischik 2396fe3abf mos6502_create_nop 1.1.1 (#790) 2023-04-12 11:28:35 +02:00
Martin Krischik bab6053c4d adacl 5.12.0 (#783) 2023-04-11 13:11:38 +02:00
HonkiTonk d81da7c812 honki_tonks_zivilisationen 0.04.9151-dev (#782) 2023-04-11 13:06:16 +02:00
JK 4851210d3d esp_idf 0.1.1 (#778)
* Add esp_idf crate

* Update esp_idf to 0.1.1
2023-04-05 14:21:37 +02:00
pmunts cefc4f6780 muntsos_dev_* external support for RHEL (#781) 2023-04-04 11:40:11 +02:00
Martin Krischik b946ee8a21 adacl 5.11.0 (#780) 2023-04-03 19:17:22 +02:00
Blady-Com 2da9e14025 uxstrings 0.5.0. (#779)
* Upgrade UXStrings to version 0.5.0.
Add lib_uxstrings2.gpr and lib_uxstrings3.gpr.

* Fix withed path in lib_uxstrings3.gpr.
2023-04-03 19:14:16 +02:00
Alejandro R Mosteo 5fcb769d71 Migrate to ghcr.io from dockerhub (#777)
Also remove a conditional step that was never being run
2023-03-31 11:07:31 +02:00
pmunts 31f1ff7610 muntsos_* support for CentOS (#776)
Tested on CentOS Stream 9.
2023-03-30 13:07:05 +02:00
pmunts d48fe227a3 muntsos_* 2.0.0 (#775)
* muntsos_beaglebone release 2.0.0

Change a project to cross-compiled by copying default.gpr to the
project directory, instead of adding "for Target use" to the
project file.

* muntsos_raspberrypi1 release 2.0.0

Change a project to cross-compiled by copying default.gpr to the
project directory, instead of adding "for Target use" to the
project file.

* muntsos_raspberrypi2 release 2.0.0

Change a project to cross-compiled by copying default.gpr to the
project directory, instead of adding "for Target use" to the
project file.

* muntsos_raspberrypi3 release 2.0.0

Change a project to cross-compiled by copying default.gpr to the
project directory, instead of adding "for Target use" to the
project file.

* muntsos_raspberrypi4 release 2.0.0

Change a project to cross-compiled by copying default.gpr to the
project directory, instead of adding "for Target use" to the
project file.
2023-03-29 13:18:51 +02:00
Francesc Rocher 8694ea9a2e euler_tools 1.1.0, 1.1.1 (#774)
* Euler Tools 1.0.1

First public release.

* Add dependency gnta>=12.0.0

* Use switch -gnat2020

* Fix gnat dependencies

* New release commit id

* Euler Tools 1.0.2

* Euler Tools 1.1.0

* Euler tools 1.1.1
2023-03-23 13:42:06 +01:00
Martin Krischik 8e9fc50798 adacl 5.10.2 (#773) 2023-03-23 13:40:01 +01:00
Thái Sơn Hoàng 92b508cd46 elevator 1.0.0 (#771) 2023-03-21 09:45:45 +01:00
pmunts aebc5a9bc0 muntsos_dev_* external Fedora (#767) 2023-03-17 12:21:10 +01:00
Léo Germond 0503130b89 mage 0.5.0 (#766) 2023-03-17 12:18:21 +01:00
Martin Krischik bdab49ad23 adacl 5.9.9 (#764) 2023-03-16 14:28:46 +01:00
Martin Krischik 87ef3d2cf2 atari_atr_tools 1.0.0 (#760)
* atr_tools Version 1.0.0

* change ada-2022 to ada2022
2023-03-14 18:20:17 +01:00
Alejandro R. Mosteo 098d327b5a Enable cleaner workflow 2023-03-14 13:41:04 +01:00
Alejandro R Mosteo 7e9fb42497 Autoclose stale PRs (#763)
* Autoclose old PRs without activity

* Initially in debug mode
2023-03-14 13:36:11 +01:00
Alejandro R Mosteo b404ad4748 workers 0.1.0 (#761) 2023-03-14 11:32:09 +01:00
pmunts 9a53cc6c84 mcp2221 release 1.20962.1 and remoteio release 1.20962.1 (#762)
* remoteio release 1.20962.1

Modified the post-fetch script to copy Windows DLL files to bin/

* mcp2221 release 1.20962.1

Modified the post-fetch script to copy Windows DLL files to bin/
2023-03-14 11:30:54 +01:00
pmunts d2be6c8e74 libsimpleio, remoteio 1.20946.1 (#758)
* libsimpleio release 1.20946.1

More improvements, especially to the support for Mikroelektronika
Click Boards.  Also support for more Remote I/O Protocol servers.

* remoteio release 1.20946.1

More improvements, especially to the support for Mikroelektronika
Click Boards.  Also support for more Remote I/O Protocol servers.
2023-03-13 13:10:03 +01:00
Martin Krischik 667357f16e adacl 5.9.8 (#757) 2023-03-13 13:02:29 +01:00
Stephen Merrony 1641bd54e3 Upgrade Keypadder to version 0.3.0 (#759)
[SMerrony]
  * Feature:    Add bg config option for button background colour
  * Feature:    Add fontsize config option per tab
  * Docs:       Update for new features
  * Docs:       Enhance example/keypad.toml to use new features, add PokerTH map
  * Bugfix:     Don't truncate mnemonics shown via --dumpkeys
  * Internal:   Reduce size of HTML/JavaScript for main page

  [mgrojo]
  * Feature:    Add big Maths symbols example config
2023-03-13 10:19:17 +01:00
Adel Noureddine 9ff03be330 powerjoular 0.6 (#756)
* Add files via upload

* Add files via upload
2023-03-10 11:08:52 +01:00
pmunts 184006bea9 muntsos_* 1.0.0 (#736)
* External crates for MuntsOS Embedded Linux cross-toolchain metapackages.

* muntsos_beaglebone release 1.0.0

You can prepare an Alire program project to target MuntsOS Embedded
Linux on a BeagleBone board with just "alr with muntsos_beaglebone".

* muntsos_raspberrypi1 release 1.0.0

You can prepare an Alire program project to target MuntsOS Embedded
Linux on a Raspberry Pi 1 board with just "alr with muntsos_raspberrypi1".

* muntsos_raspberrypi2 release 1.0.0

You can prepare an Alire program project to target MuntsOS Embedded
Linux on a Raspberry Pi 2 board with just "alr with muntsos_raspberrypi2".

* muntsos_raspberrypi3 release 1.0.0

You can prepare an Alire program project to target MuntsOS Embedded
Linux on a Raspberry Pi 3 board with just "alr with muntsos_raspberrypi3".

* muntsos_raspberrypi4 release 1.0.0

You can prepare an Alire program project to target MuntsOS Embedded
Linux on a Raspberry Pi 4 board with just "alr with muntsos_raspberrypi4".
2023-03-09 12:02:31 +01:00
pmunts 41fde61d44 libsimpleio, mcp2221, remoteio 1.20871.1 (#755)
* mcp2221 release 1.20871.1

* remoteio release 1.20871.1

* libsimpleio release 1.20871.1
2023-03-09 12:00:30 +01:00
HonkiTonk 4d206aea22 honki_tonks_zivilisationen 0.04.8200-dev (#754) 2023-03-09 11:54:39 +01:00
Léo Germond b2fbd26984 mage 0.3.0 (#752) 2023-03-08 13:58:14 +01:00
Francesc Rocher e8e326a699 Euler Tools 1.0.2 (#753)
* Euler Tools 1.0.1

First public release.

* Add dependency gnta>=12.0.0

* Use switch -gnat2020

* Fix gnat dependencies

* New release commit id

* Euler Tools 1.0.2
2023-03-03 10:27:52 +01:00