Bug 278471 - math/abella: Update 2.0.7 -> 2.0.8
Summary: math/abella: Update 2.0.7 -> 2.0.8
Status: Closed Not Accepted
Alias: None
Product: Ports & Packages
Classification: Unclassified
Component: Individual Port(s) (show other bugs)
Version: Latest
Hardware: Any Any
: --- Affects Only Me
Assignee: Yuri Victorovich
URL: https://github.com/abella-prover/abel...
Keywords:
Depends on: 278470
Blocks:
  Show dependency tree / graph
 
Reported: 2024-04-20 01:39 UTC by Andrey Korobkov
Modified: 2024-04-27 05:58 UTC (History)
1 user (show)

See Also:
bugzilla: maintainer-feedback? (yuri)

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Andrey Korobkov 2024-04-20 01:39:07 UTC 

    


    


      



        
          Comment 1
        

        
          Andrey Korobkov

        

        
        

        
          2024-04-20 01:39:59 UTC
        

      






=======================<phase: build          >============================
===== env: DEVELOPER_MODE=yes STRICT_DEPENDS=yes USER=root UID=0 GID=0
===>  Building for abella-2.0.8
dune build src/abella.exe src/abella_doc.exe src/abella_dep.exe
File "dune-project", line 1, characters 11-15:
1 | (lang dune 3.11)
               ^^^^
Error: Version 3.11 of the dune language is not supported.
Supported versions of this extension in version 3.11 of the dune language:
- 1.0 to 1.12
- 2.0 to 2.9
- 3.0 to 3.7
gmake: *** [Makefile:7: all] Error 1
===> Compilation failed unexpectedly.

    


    


      



        
          Comment 2
        

        
          Yuri Victorovich

        

        
            freebsd_committer
            freebsd_triage
        

        
          2024-04-20 02:05:31 UTC
        

      






The requested dune version isn't yet available in ports.

    


    


      



        
          Comment 3
        

        
          Yuri Victorovich

        

        
            freebsd_committer
            freebsd_triage
        

        
          2024-04-27 05:58:50 UTC
        

      






I'd close this for now, since this update needs dune to be updated, and we don't know when is this going to happen.

Thanks for the report.