Skip to content

Commit

Permalink
agda: 2.6.4.3 -> 2.7.0
Browse files Browse the repository at this point in the history
  • Loading branch information
@iblech
iblech committed Aug 19, 2024
1 parent 0f0aff2 commit c1c6146
Show file tree
Hide file tree
Showing 8 changed files with 1,493 additions and 617 deletions.
8 changes: 4 additions & 4 deletions pkgs/data/misc/hackage/pin.json
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
{
"commit": "32e512a9cd79f962a8023e1c8c1a4db17d9b2fd8",
"url": "https://github.com/commercialhaskell/all-cabal-hashes/archive/32e512a9cd79f962a8023e1c8c1a4db17d9b2fd8.tar.gz",
"sha256": "1wiy2fsz8a1gx6mbzq8ns6wvns6kh2aigxczw0f9q7qbkd22kdil",
"msg": "Update from Hackage at 2024-07-31T18:11:52Z"
"commit": "2a55297d079beb77d5cfbda71f50bcf9295cb793",
"url": "https://github.com/commercialhaskell/all-cabal-hashes/archive/2a55297d079beb77d5cfbda71f50bcf9295cb793.tar.gz",
"sha256": "0klp9npkq10c5r06py3qwm046akg7ax26f5ifk1r26r2b10fn2dh",
"msg": "Update from Hackage at 2024-08-19T07:40:48Z"
}
2 changes: 1 addition & 1 deletion pkgs/development/haskell-modules/configuration-common.nix
View file
Original file line number Diff line number Diff line change
Expand Up @@ -3086,7 +3086,7 @@ self: super: {
# 2024-08-09: The stackage versions of safe-coloured-text* are old and broken
safe-coloured-text = unmarkBroken self.safe-coloured-text_0_3_0_2;
safe-coloured-text-gen = unmarkBroken self.safe-coloured-text-gen_0_0_0_3;
safe-coloured-text-layout = unmarkBroken self.safe-coloured-text-layout_0_2_0_0;
safe-coloured-text-layout = unmarkBroken self.safe-coloured-text-layout_0_2_0_1;
safe-coloured-text-layout-gen = unmarkBroken self.safe-coloured-text-layout-gen_0_0_0_1;
safe-coloured-text-terminfo = unmarkBroken self.safe-coloured-text-terminfo_0_3_0_0;
})));
Expand Down
36 changes: 19 additions & 17 deletions pkgs/development/haskell-modules/configuration-hackage2nix/stackage.yaml
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
# Stackage LTS 22.31
# Stackage LTS 22.33
# This file is auto-generated by
# maintainers/scripts/haskell/update-stackage.sh
default-package-overrides:
Expand Down Expand Up @@ -419,7 +419,7 @@ default-package-overrides:
- autodocodec-yaml ==0.2.0.3
- autoexporter ==2.0.0.12
- auto-update ==0.1.6
- avro ==0.6.2.0
- avro ==0.6.2.1
- aws ==0.24.1
- aws-cloudfront-signed-cookies ==0.2.0.12
- aws-sns-verify ==0.0.0.3
Expand Down Expand Up @@ -603,7 +603,7 @@ default-package-overrides:
- case-insensitive ==1.2.1.0
- cases ==0.1.4.3
- casing ==0.1.4.1
- cassava ==0.5.3.1
- cassava ==0.5.3.2
- cassava-conduit ==0.6.6
- cassava-megaparsec ==2.0.4
- cast ==0.1.0.2
Expand Down Expand Up @@ -1084,11 +1084,11 @@ default-package-overrides:
- fields-json ==0.4.0.0
- file-embed ==0.0.16.0
- file-embed-lzma ==0.0.1
- file-io ==0.1.2
- file-io ==0.1.4
- filelock ==0.1.1.7
- filemanip ==0.3.6.3
- file-modules ==0.1.2.4
- filepath-bytestring ==1.4.2.1.13
- filepath-bytestring ==1.4.100.3.2
- file-path-th ==0.1.0.0
- filepattern ==0.1.3
- fileplow ==0.1.0.0
Expand Down Expand Up @@ -1334,7 +1334,7 @@ default-package-overrides:
- handwriting ==0.1.0.3
- happstack-jmacro ==7.0.12.6
- happstack-server ==7.8.0.2
- happstack-server-tls ==7.2.1.5
- happstack-server-tls ==7.2.1.6
- happy ==1.20.1.1
- happy-meta ==0.2.1.0
- HasBigDecimal ==0.2.0.0
Expand Down Expand Up @@ -1373,7 +1373,7 @@ default-package-overrides:
- hasty-hamiltonian ==1.3.4
- HaTeX ==3.22.4.2
- HaXml ==1.25.13
- haxr ==3000.11.5
- haxr ==3000.11.5.1
- HCodecs ==0.5.2
- hdaemonize ==0.5.7
- HDBC ==2.4.0.4
Expand Down Expand Up @@ -1418,7 +1418,7 @@ default-package-overrides:
- hledger-iadd ==1.3.20
- hledger-interest ==1.6.6
- hledger-lib ==1.32.3
- hledger-stockquotes ==0.1.2.1
- hledger-stockquotes ==0.1.3.1
- hledger-web ==1.32.3
- hlibcpuid ==0.2.0
- hlibgit2 ==0.18.0.16
Expand Down Expand Up @@ -1969,7 +1969,7 @@ default-package-overrides:
- mongoDB ==2.7.1.4
- monoidal-containers ==0.6.5.0
- monoidal-functors ==0.2.3.0
- monoid-extras ==0.6.2
- monoid-extras ==0.6.3
- monoid-subclasses ==1.2.5.1
- monoid-transformer ==0.0.4
- monomer ==1.6.0.1
Expand Down Expand Up @@ -2083,7 +2083,7 @@ default-package-overrides:
- numeric-prelude ==0.4.4
- numeric-quest ==0.2.0.2
- numhask ==0.11.1.0
- numhask-array ==0.11.0.1
- numhask-array ==0.11.1.0
- numhask-space ==0.11.1.0
- NumInstances ==1.4
- numtype-dk ==0.5.0.3
Expand Down Expand Up @@ -2229,6 +2229,7 @@ default-package-overrides:
- persistent-template ==2.12.0.0
- persistent-test ==2.13.1.3
- persistent-typed-db ==0.1.0.7
- pfile ==0.1.0.1
- pg-harness-client ==0.6.0
- pg-transact ==0.3.2.0
- phantom-state ==0.2.1.4
Expand All @@ -2253,6 +2254,7 @@ default-package-overrides:
- pipes-safe ==2.3.5
- pipes-text ==1.0.1
- pipes-wai ==3.2.0
- pipes-zlib ==0.4.4.2
- pkgtreediff ==0.6.0
- place-cursor-at ==1.0.1
- placeholders ==0.1
Expand Down Expand Up @@ -2498,7 +2500,7 @@ default-package-overrides:
- rosezipper ==0.2
- rot13 ==0.2.0.1
- row-types ==1.0.1.2
- rpmbuild-order ==0.4.11
- rpmbuild-order ==0.4.12
- rpm-nvr ==0.1.2
- rp-tree ==0.7.1
- rrb-vector ==0.2.1.0
Expand Down Expand Up @@ -2572,7 +2574,7 @@ default-package-overrides:
- seqalign ==0.2.0.4
- seqid ==0.6.3
- seqid-streams ==0.7.2
- sequence-formats ==1.8.0.1
- sequence-formats ==1.8.1.0
- sequenceTools ==1.5.3.1
- serialise ==0.2.6.1
- servant ==0.20.1
Expand Down Expand Up @@ -2628,7 +2630,7 @@ default-package-overrides:
- shake-language-c ==0.12.0
- shake-plus ==0.3.4.0
- shake-plus-extended ==0.4.1.0
- shakespeare ==2.1.0.1
- shakespeare ==2.1.1
- shakespeare-text ==1.1.0
- shared-memory ==0.2.0.1
- shell-conduit ==5.0.0
Expand Down Expand Up @@ -2886,7 +2888,7 @@ default-package-overrides:
- teardown ==0.5.0.1
- tempgres-client ==1.0.0
- template ==0.2.0.10
- template-haskell-compat-v0208 ==0.1.9.3
- template-haskell-compat-v0208 ==0.1.9.4
- temporary ==1.3
- temporary-rc ==1.2.0.3
- temporary-resourcet ==0.1.0.1
Expand Down Expand Up @@ -3147,7 +3149,7 @@ default-package-overrides:
- vector-buffer ==0.4.1
- vector-builder ==0.3.8.5
- vector-bytes-instances ==0.1.1
- vector-extras ==0.2.8.1
- vector-extras ==0.2.8.2
- vector-hashtables ==0.1.2.0
- vector-instances ==3.4.2
- vector-mmap ==0.0.3
Expand Down Expand Up @@ -3245,7 +3247,7 @@ default-package-overrides:
- writer-cps-transformers ==0.5.6.1
- ws ==0.0.6
- wss-client ==0.3.0.0
- wuss ==2.0.1.9
- wuss ==2.0.2.0
- X11 ==1.10.3
- X11-xft ==0.3.4
- x11-xim ==0.0.9.0
Expand Down Expand Up @@ -3280,7 +3282,7 @@ default-package-overrides:
- xxhash-ffi ==0.2.0.0
- yaml ==0.11.11.2
- yaml-unscrambler ==0.1.0.19
- Yampa ==0.14.9
- Yampa ==0.14.10
- yarn-lock ==0.6.5
- yeshql-core ==4.2.0.0
- yesod ==1.6.2.1
Expand Down
14 changes: 13 additions & 1 deletion pkgs/development/haskell-modules/configuration-hackage2nix/transitive-broken.yaml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -523,6 +523,7 @@ dont-distribute-packages:
- apigen
- apis
- apotiki
- apple
- approx-rand-test
- arbor-monad-metric-datadog
- archive-tar-bytestring
Expand Down Expand Up @@ -782,6 +783,7 @@ dont-distribute-packages:
- category
- category-extras
- cattrap
- cauldron
- cctools-workqueue
- cef3-simple
- ceilometer-common
Expand Down Expand Up @@ -1415,6 +1417,9 @@ dont-distribute-packages:
- fpnla-examples
- frame-markdown
- freckle-app
- freckle-http
- freckle-memcached
- freckle-otel
- free-functors
- free-game
- free-theorems-seq-webui
Expand Down Expand Up @@ -2578,6 +2583,7 @@ dont-distribute-packages:
- list-t-html-parser
- list-tuple
- list-witnesses
- list1
- listenbrainz-client
- liszt
- lit
Expand Down Expand Up @@ -2905,7 +2911,7 @@ dont-distribute-packages:
- nonlinear-optimization-backprop
- not-gloss
- not-gloss-examples
- nothunks_0_2_1_1
- nothunks_0_3_0_0
- notmuch-web
- now-haskell
- nri-env-parser
Expand Down Expand Up @@ -3456,6 +3462,7 @@ dont-distribute-packages:
- rv
- s-expression
- safe-coloured-text-layout-gen
- safe-coloured-text-layout-gen_0_0_0_1
- safe-coupling
- safe-failure
- safe-failure-cme
Expand Down Expand Up @@ -3809,8 +3816,10 @@ dont-distribute-packages:
- syb-with-class-instances-text
- sydtest-amqp
- sydtest-webdriver-screenshot
- sydtest-webdriver-screenshot_0_1_0_0
- sydtest-webdriver-yesod
- sydtest-yesod
- sydtest_0_17_0_0
- sylvia
- symantic-atom
- symantic-http-demo
Expand Down Expand Up @@ -4174,6 +4183,9 @@ dont-distribute-packages:
- wheb-strapped
- whitespace
- wholepixels
- wikimusic-api
- wikimusic-api-spec
- wikimusic-ssr
- wikipedia4epub
- wild-bind-indicator
- wild-bind-task-x11
Expand Down
Loading

0 comments on commit c1c6146

Please sign in to comment.