Bug 277730 - math/hs-Agda: update to 2.6.4.3
Summary: math/hs-Agda: update to 2.6.4.3
Status: Closed FIXED
Alias: None
Product: Ports & Packages
Classification: Unclassified
Component: Individual Port(s) (show other bugs)
Version: Latest
Hardware: Any Any
: --- Affects Some People
Assignee: freebsd-haskell (Nobody)
URL: https://hackage.haskell.org/package/A...
Keywords:
Depends on:
Blocks:
 
Reported: 2024-03-16 02:24 UTC by Älven
Modified: 2024-03-16 12:06 UTC (History)
3 users (show)

See Also:
arrowd: maintainer-feedback+

Attachments
[PATCH] math/hs-Agda: update to 2.6.4.3 (11.08 KB, patch)
2024-03-16 09:04 UTC, Älven 		no flags Details | Diff
[PATCH] math/hs-Agda: Update to 2.6.4.3 (11.23 KB, patch)
2024-03-16 10:15 UTC, Älven 		alster: maintainer-approval? (haskell)
 Details | Diff
Show Obsolete (1) View All 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 Älven 2024-03-16 02:24:38 UTC 

    


    


      



        
          Comment 1
        

        
          Älven

        

        
        

        
          2024-03-16 09:04:20 UTC
        

      






Created attachment 249212 [details]
[PATCH] math/hs-Agda: update to 2.6.4.3

    


    


      



        
          Comment 2
        

        
          Älven

        

        
        

        
          2024-03-16 10:15:40 UTC
        

      






Created attachment 249213 [details]
[PATCH] math/hs-Agda: Update to 2.6.4.3

    


    


      



        
          Comment 3
        

        
          commit-hook

        

        
            freebsd_committer
            freebsd_triage
        

        
          2024-03-16 11:53:12 UTC
        

      






A commit in branch main references this bug:

URL: https://cgit.FreeBSD.org/ports/commit/?id=527e6c404244e02316add1fff56ecd2ef539a58e

commit 527e6c404244e02316add1fff56ecd2ef539a58e
Author:     Andrey Korobkov <alster@vinterdalen.se>
AuthorDate: 2024-03-16 11:36:59 +0000
Commit:     Gleb Popov <arrowd@FreeBSD.org>
CommitDate: 2024-03-16 11:51:15 +0000

    math/hs-Agda: Update to 2.6.4.3

    PR:             277730

 math/hs-Agda/Makefile | 23 +++++++++++------------
 math/hs-Agda/distinfo | 46 +++++++++++++++++++---------------------------
 2 files changed, 30 insertions(+), 39 deletions(-)

    


    


      



        
          Comment 4
        

        
          commit-hook

        

        
            freebsd_committer
            freebsd_triage
        

        
          2024-03-16 11:53:14 UTC
        

      






A commit in branch main references this bug:

URL: https://cgit.FreeBSD.org/ports/commit/?id=189bfde11e2d8b67defc18910b0d6f9efba40f41

commit 189bfde11e2d8b67defc18910b0d6f9efba40f41
Author:     Gleb Popov <arrowd@FreeBSD.org>
AuthorDate: 2024-03-16 11:50:44 +0000
Commit:     Gleb Popov <arrowd@FreeBSD.org>
CommitDate: 2024-03-16 11:51:15 +0000

    math/hs-Agda: Fix plist

    PR:             277730
    Fixes:  ba61a442a89ec86117ece8c356b5c5117a67681e

 math/hs-Agda/Makefile  |  2 ++
 math/hs-Agda/pkg-plist | 75 +++++++++++++++++++++++++-------------------------
 2 files changed, 40 insertions(+), 37 deletions(-)

    


    


      



        
          Comment 5
        

        
          commit-hook

        

        
            freebsd_committer
            freebsd_triage
        

        
          2024-03-16 12:00:16 UTC
        

      






A commit in branch main references this bug:

URL: https://cgit.FreeBSD.org/ports/commit/?id=d9edbdde5ddc9d4a517d7b61def652172f96cea9

commit d9edbdde5ddc9d4a517d7b61def652172f96cea9
Author:     Andrey Korobkov <alster@vinterdalen.se>
AuthorDate: 2024-03-16 11:58:09 +0000
Commit:     Gleb Popov <arrowd@FreeBSD.org>
CommitDate: 2024-03-16 11:58:29 +0000

    math/hs-Agda: Fix LICENSE

    PR:             277730

 math/hs-Agda/Makefile | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

    


    


      



        
          Comment 6
        

        
          Gleb Popov

        

        
            freebsd_committer
            freebsd_triage
        

        
          2024-03-16 12:06:55 UTC
        

      






Pushed, thank you.