Skip to content

Commit

Permalink
science/cdcl: deprecate
Browse files Browse the repository at this point in the history
  • Loading branch information
@ant1
ant1 committed Feb 20, 2023
1 parent 079988b commit 62a81f8
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions science/cdcl/Makefile
View file
Expand Up @@ -20,6 +20,8 @@ LICENSE_PERMS= auto-accept
BROKEN= fails to fetch from mastersite (newest release is 7.4.0 of 2020611)
BROKEN_armv6= fails to link: final link failed: Nonrepresentable section on output
BROKEN_armv7= fails to link: final link failed: Nonrepresentable section on output
DEPRECATED= Broken since 2021
EXPIRATION_DATE= 2023-03-21

OPTIONS_DEFINE= DOCS EXAMPLES
USES= desthack gnome pkgconfig xorg
Expand Down

0 comments on commit 62a81f8

Please sign in to comment.