Iaia
Iaia copied to clipboard
sellout
A recursion scheme library for Idris.
Automated changes by the [update-flake-lock](https://github.com/DeterminateSystems/update-flake-lock) GitHub Action. ``` Flake lock file updates: • Updated input 'bash-strict-mode': 'github:sellout/bash-strict-mode/e90ce930e32b766a87b738612925d86878671e3a?narHash=sha256-JeQZinbYjQzHg/1DXu0N7nZ9CbKBIwpNChxJcqRU/jM%3D' (2023-12-13) → 'github:sellout/bash-strict-mode/9966778c963654ed911dc2f3b079be92cbd6880d?narHash=sha256-pkgP6JLnnfFwo7qxVeM4BAqUYjg/HSQ1VfBohygyre4%3D' (2024-02-26) • Updated input 'bash-strict-mode/nixpkgs': 'github:NixOS/nixpkgs/a46b965ea7d1b9587a46f91adfdbac29e56c9b87?narHash=sha256-Mj4Unppuzd05/JFrTQ%2Bi/8%2Btd0MRnaHpp%2BhInzkAo2A%3D' (2023-12-12) → 'github:NixOS/nixpkgs/e0da498ad77ac8909a980f07eff060862417ccf7?narHash=sha256-evZzmLW7qoHXf76VCepvun1esZDxHfVRFUJtumD7L2M%3D' (2024-02-18)...
![github-actions[bot] avatar](https://avatars.githubusercontent.com/in/15368?v=4 "github-actions[bot] avatar"){kind=avatar}
This issue lists Renovate updates and detected dependencies. Read the [Dependency Dashboard](https://docs.renovatebot.com/key-concepts/dashboard/) docs to learn more.[View this repository on the Mend.io Web Portal](https://developer.mend.io/github/sellout/Iaia). ## Config Migration Needed - [ ]...
![renovate[bot] avatar](https://avatars.githubusercontent.com/in/2740?v=4 "renovate[bot] avatar"){kind=avatar}
This PR contains the following updates: | Update | Change | |---|---| | lockFileMaintenance | All locks refreshed | 🔧 This Pull Request updates lock files to use the latest...
This PR contains the following updates: | Package | Update | Change | |---|---|---| | [nixpkgs](https://redirect.github.com/NixOS/nixpkgs) | major | `release-23.11` -> `release-24.11` | --- ### Release Notes NixOS/nixpkgs (nixpkgs) ###...