diff options
| author |   Repository mirror & CI <repomirrorci@gentoo.org> | 2024-03-15 11:18:53 +0000 |
|---|---|---|
| committer | Repository mirror & CI <repomirrorci@gentoo.org> | 2024-03-15 11:18:53 +0000 |
| commit | 4cb29af9745966ccc4bd868f7dc7e77985a119c5 (patch) | |
| tree | 7568f3ad1cc536e716744d15321ac1a87d408168 /metadata | |
| parent | Merge updates from master (diff) | |
| download | gentoo-4cb29af9745966ccc4bd868f7dc7e77985a119c5.tar.gz gentoo-4cb29af9745966ccc4bd868f7dc7e77985a119c5.tar.bz2 gentoo-4cb29af9745966ccc4bd868f7dc7e77985a119c5.zip | |
2024-03-15 11:18:53 UTC
Diffstat (limited to 'metadata')
| -rw-r--r-- | metadata/md5-cache/dev-ada/AdaSAT-24.0.0 | 15 | ||||
| -rw-r--r-- | metadata/pkg_desc_index | 1 | ||||
| -rw-r--r-- | metadata/timestamp.chk | 2 |
3 files changed, 17 insertions, 1 deletions
diff --git a/metadata/md5-cache/dev-ada/AdaSAT-24.0.0 b/metadata/md5-cache/dev-ada/AdaSAT-24.0.0 new file mode 100644 index 000000000000..4f91e34cd8f3 --- /dev/null +++ b/metadata/md5-cache/dev-ada/AdaSAT-24.0.0 @@ -0,0 +1,15 @@ +DEFINED_PHASES=compile install setup test +DEPEND=dev-ada/gprbuild[ada_target_gcc_12(-)?,ada_target_gcc_13(-)?,-ada_target_gnat_2021(-)] +DESCRIPTION=Implementation of a DPLL-based SAT solver in Ada +EAPI=8 +HOMEPAGE=https://github.com/AdaCore/AdaSAT +INHERIT=ada multiprocessing +IUSE=+shared static-libs static-pic test ada_target_gnat_2021 ada_target_gcc_12 ada_target_gcc_13 +KEYWORDS=~amd64 +LICENSE=Apache-2.0 +REQUIRED_USE=^^ ( ada_target_gcc_12 ada_target_gcc_13 ) || ( shared static-libs static-pic ) test? ( static-libs ) +RESTRICT=!test? ( test ) +SLOT=0 +SRC_URI=https://github.com/AdaCore/AdaSAT/archive/refs/tags/v24.0.0.tar.gz -> AdaSAT-24.0.0.tar.gz +_eclasses_=ada f59e3151d12cf89115ffac32a03e7d31 multiprocessing 30ead54fa2e2b5f9cd4e612ffc34d0fe +_md5_=1da0fad2fc56e8e4df94594c596a758d diff --git a/metadata/pkg_desc_index b/metadata/pkg_desc_index index ad2b12fc3722..1fed93c9c0ea 100644 --- a/metadata/pkg_desc_index +++ b/metadata/pkg_desc_index @@ -3745,6 +3745,7 @@ app-xemacs/xslide 1.11: XSL editing support app-xemacs/xslt-process 1.14: XSLT processing support app-xemacs/xwem 1.27: X Emacs Window Manager app-xemacs/zenirc 1.18: ZENIRC IRC Client +dev-ada/AdaSAT 24.0.0: Implementation of a DPLL-based SAT solver in Ada dev-ada/VSS 22.0.0-r2 23.0.0-r2: A high level string and text processing library dev-ada/ada_language_server 23.0.10-r3: an implementation of the Microsoft Language Server Protocol for Ada/SPARK dev-ada/ada_libfswatch 20201105-r2: Ada binding to the libfswatch library diff --git a/metadata/timestamp.chk b/metadata/timestamp.chk index 5d4bc3c36955..1fd266ff2489 100644 --- a/metadata/timestamp.chk +++ b/metadata/timestamp.chk @@ -1 +1 @@ -Fri, 15 Mar 2024 10:48:59 +0000 +Fri, 15 Mar 2024 11:18:53 +0000 |