Vinzent "Jellix" Saranen
4e7503b5a3
si_units 0.1.0 ( #128 )
2020-06-12 21:01:08 +02:00
Maxim Reznik
68b23ad75a
Add zeromq-ada 4.1.5 ( #123 )
2020-06-12 20:49:54 +02:00
Vinzent "Jellix" Saranen
1a4e01804b
saatana 2.0.2 (with new website) ( #122 )
...
* * Saatana: Updated release to v2.0.2, and project website.
* * Reverted removal of 2.0.0 release
The policy is to never remove older releases.
Added a notes entry to clarify why 2.0.0 is deprecated.
* + Added dependency on GNAT CE 2020
2020-06-01 18:10:39 +02:00
Maxim Reznik
de2f507932
anagram 1.0 ( #121 )
2020-06-01 13:57:27 +02:00
Maxim Reznik
297c6f9f87
webdriver 1.0 ( #120 )
2020-06-01 13:55:39 +02:00
Maxim Reznik
bc0da4e3ce
protobuf 1.0 ( #119 )
...
Add "Google Protocol Buffers implementation in Ada"
2020-06-01 13:53:02 +02:00
Maxim Reznik
9131b57560
Add jwt 1.0.0 ( #118 )
2020-05-22 12:11:12 +02:00
Maxim Reznik
f9ab63a304
ada-pretty 1.0.0 ( #117 )
2020-05-22 12:10:16 +02:00
Alejandro R Mosteo
fdcf29ffd6
ANSI-Ada v0.1 ( #115 )
2020-05-18 17:54:26 +02:00
Glen Cornell
e0c67512d9
socketcan v1.0 ( #114 )
2020-05-11 14:37:31 +02:00
Alejandro R Mosteo
5976d7a24d
Fix obsolete AdaCore CDN links ( #108 )
2020-04-24 10:38:55 +02:00
Alejandro R Mosteo
b55434ab92
Index make as a system crate ( #106 )
...
Instead of as a detectable tool
2020-04-20 17:32:19 +02:00
Alejandro R Mosteo
9b6b0e15eb
New package version in debian stable ( #104 )
...
Fix also table syntax
2020-04-07 16:38:10 +02:00
Fabien Chouteau
51faf2f6ec
ada_voxel_space_demo: add release v1.0.1 ( #99 )
2020-04-07 14:15:32 +02:00
Alejandro R Mosteo
66c8fb650d
Enable sdlada on MacOS ( #105 )
2020-04-07 13:58:12 +02:00
JK
2511123b69
update basalt to 0.2.0 ( #97 )
2020-03-10 21:34:04 +01:00
Alejandro R. Mosteo
1be5c6ca63
Mark Ada system libs as available for FSF GNAT only
2020-02-18 19:05:45 +01:00
Alejandro R. Mosteo
1054e88110
Improved some system crates
2020-02-18 16:10:19 +01:00
Alejandro R. Mosteo
16f7cfd8cd
Merge remote-tracking branch 'alire/devel-0.1' into devel-0.2
2020-02-18 09:10:15 +01:00
Alejandro R. Mosteo
3e97de622a
Migrated native crates to new system externals
2020-02-18 09:06:39 +01:00
Alejandro R. Mosteo
4f580bb3d5
Placeholder crate for the Ada Web Server
2020-02-17 18:45:23 +01:00
Alejandro R. Mosteo
67fcd64c25
Refactored output-version -> version-output
2020-02-17 18:16:52 +01:00
Alejandro R. Mosteo
74ce906f57
Use gnat as dependency instead of env enum
2020-02-17 17:44:49 +01:00
Alejandro R. Mosteo
6eaeef1578
Externally detected tool by version output
...
Modified: gnat, make
2020-02-17 17:44:43 +01:00
Alejandro R. Mosteo
a14e0cf7cc
Bump version for new external syntax
2020-02-17 17:44:11 +01:00
Maxim Reznik
d02c240799
Add Ada Modeling framework, SOAP and Servlet server ( #88 )
2020-02-17 17:19:15 +01:00
Alejandro R. Mosteo
16550dea34
Add Zip-Ada from Gautier de Montmollin
2020-02-17 15:15:14 +01:00
Alejandro R. Mosteo
0daa2eb750
Add Mathpaqs from Gautier de Montmollin
2020-02-14 16:23:31 +01:00
Alejandro R. Mosteo
220ad648fd
Add excel_writer from Gautier de Montmollin
2020-02-14 16:19:27 +01:00
Stephane Carrez
8a8bde008e
Add Ada Keystore 1.1.0 ( #92 )
...
* Add Ada Keystore 1.1.0, add tags and description
2020-02-11 17:27:24 +01:00
Stephane Carrez
2916a566bd
Utilada version 2.1.0 ( #91 )
...
* Add crate for Ada LZMA library thin binding
* Add crate for Ada Utility Library version 2.0.0
The library is split in several parts so that we can avoid
depending on LZMA, Curl and XML/Ada. Still missing the HTTP
support with AWS.
* Update to use the git archive with a hash
Use better descriptions for the projects
Avoid copying the Alire GNAT projects and use them in-place
* Update to use the git archive with a hash and the GNAT alire project in-place
* Fix the index version
* Integrate new version 2.1.0, add tags and long description
* Update to add tags, descriptions and new version 2.1.0
Co-authored-by: Alejandro R Mosteo <amosteo@unizar.es >
2020-02-11 17:24:03 +01:00
Vinzent "Jellix" Saranen
2f1909ffd3
Add Saatana v2.0.0 (formerly known as 'security' by HeisenbugLtd) ( #90 )
...
* Added "security" library (Heisenbug)
* A collection of formally verified cryptographic algorithms
* Update security.heisenbug.toml
* Fixing: "Tag string not valid"
* SHA256 doesn't seem to be supported?
Try SHA512 instead...
* + Update to v1.0.1
* * Rename to comply with naming convention
* Moved file to proper directory after rename
* - Removed file from old (wrong) location
* - Removed 1.0.0 from version list
1.0.0 is broken, anyway.
* * Fixed typo
For some reason, I put test-phelix as executable name whereas it should have been test_phelix.
* * Heisenbug's Security library has been renamed to Saatana.
2020-02-11 17:03:38 +01:00
Fabien Chouteau
be87449d1b
Add Ada Bar Codes
2020-01-28 11:51:11 +01:00
Fabien Chouteau
cb879c3bb5
Add Generic Image Decoder
2020-01-28 11:51:11 +01:00
Fabien Chouteau
6ef869fbab
Add Ada PDF Writer
2020-01-28 11:51:11 +01:00
Fabien Chouteau
a79718f471
Add GESTE v1.1.0
2020-01-28 11:45:58 +01:00
Fabien Chouteau
ba62d654b7
Add pygamer_bsp and pygamer_simulator
2020-01-28 11:45:58 +01:00
Fabien Chouteau
998d773fe0
Add samd51_hal
2020-01-28 11:45:58 +01:00
Fabien Chouteau
e054bc3a70
Add Cortex-M
2020-01-28 11:45:58 +01:00
Fabien Chouteau
ad4e6b39d3
Add HAL
2020-01-28 11:45:58 +01:00
Fabien Chouteau
c5cdea1884
Add VirtAPU
2020-01-28 11:45:58 +01:00
Maxim Reznik
c22267ea83
Add Matreshka XML, SQL, Servlet and FastCGI parts.
2020-01-19 12:48:23 +01:00
Maxim Reznik
39abf9797a
Add Matreshka League 18.1 crate
2020-01-13 14:41:29 +01:00
Stephane Carrez
1aeec6d734
Add crates for Ada Server Faces implementing JSR 252, 314, 344
...
- serverfaces is the core library which is built on top of servletada
- serverfaces_unit is a library to help in writing unit tests
2020-01-07 19:05:29 +01:00
Stephane Carrez
7acbd4beea
Add crates for Servlet libraries implementing JSR 154 and 315
...
- servletada is the core library (independent of the web server)
- servletada_aws is the servlet support with AWS
- servletada_unit is a library to help in writing servlet unit tests
2020-01-07 19:05:29 +01:00
Stephane Carrez
e22c94940c
Add crate for Security Library with client/server security framework and OAuth2 support
2020-01-07 19:05:29 +01:00
Stephane Carrez
7484d91e22
Add crate for Ada Expression Library which implements JSR 245
2020-01-07 19:05:29 +01:00
Stephane Carrez
b944f73d46
Use the .alire/wikiada.gpr project in place and use the git archive with a hash
2020-01-07 19:03:56 +01:00
Stephane Carrez
0461827b35
Ignore the removal of config.gpr when the file does not exist
2020-01-07 19:03:56 +01:00
Stephane Carrez
f0b0e29f85
Add Ada Wiki Engine 1.2.0 crate
...
This adds the 'wikiada' crate to the index. This library provides
a small Wiki parser, renderer and generator engine. It uses 'utilada' crate.
2020-01-07 19:03:56 +01:00