Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
21 changes: 0 additions & 21 deletions .github/workflows/ci.yml
Original file line number Diff line number Diff line change
Expand Up @@ -259,27 +259,6 @@ jobs:
- name: 🎗️ Lint with cabal
run: ./scripts/lint-cabal.sh

################################################################################
# Lint with fix-whitespace
################################################################################
whitespace:
name: "Fix whitespace"
runs-on: ubuntu-latest
timeout-minutes: 5
steps:
- name: Checkout
uses: actions/checkout@v6

- name: Download fix-whitespace
run: |
curl -L -o fix-whitespace https://github.com/agda/fix-whitespace/releases/download/v0.1/fix-whitespace-0.1-linux.binary
chmod a+x fix-whitespace
- name: Check whitespace
run: |
export PATH="$PWD:$PATH"
CHECK=true ./scripts/format-fix-whitespace.sh
################################################################################
# Lint with stylish-haskell
################################################################################
Expand Down
2 changes: 1 addition & 1 deletion botan-bindings/CHANGELOG.md
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
# Changelog

## ?.?.?.? -- ????-??-??
## 0.3.0.0 -- 2026-03-23

* BREAKING: for all newtypes with a record field name like `run*`, change the
name to `ptr`. See PR's
Expand Down
4 changes: 2 additions & 2 deletions botan-bindings/botan-bindings.cabal
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
cabal-version: 3.0
name: botan-bindings
version: 0.2.0.0
version: 0.3.0.0
synopsis: Raw Botan bindings
description:
Welcome to botan-bindings
Expand Down Expand Up @@ -39,7 +39,7 @@ source-repository this
type: git
location: https://github.com/haskell-cryptography/botan
subdir: botan-bindings
tag: botan-bindings-0.2.0.0
tag: botan-bindings-0.3.0.0

flag pkg-config
default: True
Expand Down
2 changes: 1 addition & 1 deletion botan-low/CHANGELOG.md
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
# Changelog

## ?.?.?.? -- ????-??-??
## 0.2.0.0 -- 2026-03-23

* BREAKING: change more flags from numbers into datatypes. See PR
[#113](https://github.com/haskell-cryptography/botan/pull/113). The flag
Expand Down
6 changes: 3 additions & 3 deletions botan-low/botan-low.cabal
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
cabal-version: 3.0
name: botan-low
version: 0.1.0.0
version: 0.2.0.0
synopsis: Low-level Botan bindings
description:
Welcome to botan-low
Expand Down Expand Up @@ -50,7 +50,7 @@ source-repository this
type: git
location: https://github.com/haskell-cryptography/botan
subdir: botan-low
tag: botan-low-0.1.0.0
tag: botan-low-0.2.0.0

common warnings
ghc-options:
Expand Down Expand Up @@ -128,7 +128,7 @@ library

build-depends:
base >=4.16 && <4.22,
botan-bindings ^>=0.2,
botan-bindings ^>=0.3,
bytestring >=0.11 && <0.13,
deepseq >=1.1 && <2,
text >=1.2 && <1.3 || >=2.0 && <2.2,
Expand Down
2 changes: 1 addition & 1 deletion botan/botan.cabal
Original file line number Diff line number Diff line change
Expand Up @@ -156,7 +156,7 @@ library

build-depends:
base >=4.16 && <4.22,
botan-low ^>=0.1,
botan-low ^>=0.2,
bytestring >=0.11 && <0.13,
deepseq >=1.1 && <2,
text >=1.2 && <1.3 || >=2.0 && <2.2,
Expand Down
4 changes: 2 additions & 2 deletions cabal.project
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
index-state:
-- Bump this if you need newer packages from Hackage
-- current date: release botan-low-0.1.0.0 and botan-bindings-0.2.0.0
, hackage.haskell.org 2025-12-30T00:00:00Z
-- current date: release botan-low-0.2.0.0 and botan-bindings-0.3.0.0
, hackage.haskell.org 2026-03-23T00:00:00Z

packages:
botan-bindings
Expand Down
49 changes: 0 additions & 49 deletions scripts/format-fix-whitespace.sh

This file was deleted.

Loading