Bug 278438

Summary: math/stp: Update 2.3.3 -> smtcomp2020
Product: Ports & Packages Reporter: Älven <alster>
Component: Individual Port(s)Assignee: Gleb Popov <arrowd>
Status: Closed Not A Bug    
Severity: Affects Only Me CC: alster, arrowd
Priority: --- Flags: bugzilla: maintainer-feedback? (arrowd)
Version: Latest   
Hardware: Any   
OS: Any   
URL: https://github.com/stp/stp/releases/tag/smtcomp2020
Attachments:
Description Flags
[PATCH] math/stp: Update 2.3.3 -> smtcomp2020 alster: maintainer-approval? (arrowd)

Description Älven 2024-04-18 16:30:36 UTC 

    


    


      



        
          Comment 1
        

        
          Älven

        

        
        

        
          2024-04-18 16:33:23 UTC
        

      






Created attachment 250057 [details]
[PATCH] math/stp: Update 2.3.3 -> smtcomp2020

    


    


      



        
          Comment 2
        

        
          Gleb Popov

        

        
            freebsd_committer
            freebsd_triage
        

        
          2024-04-20 12:01:19 UTC
        

      






STP 2.3.3 is the latest released version according to Repology: https://repology.org/project/stp/versions

No downstream project packages those smtcomp tarballs.