ASP-based solver: update os compatibility for macOS (#43862)

This commit is contained in:
Massimiliano Culpo 2024-04-26 18:34:46 +02:00 committed by GitHub
parent 3e1474dbbb
commit e5edac4d0c
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -12,6 +12,8 @@
%============================================================================= %=============================================================================
% macOS % macOS
os_compatible("sonoma", "ventura").
os_compatible("ventura", "monterey").
os_compatible("monterey", "bigsur"). os_compatible("monterey", "bigsur").
os_compatible("bigsur", "catalina"). os_compatible("bigsur", "catalina").