Skip to content

Conversation

@jorisdral
Copy link
Collaborator

@jorisdral jorisdral commented Nov 17, 2025

Primary goal:
Resolves #99
Secondary goal:
Resolves #59
Resolves #61
Resolves #48
Resolves #47

@jorisdral jorisdral self-assigned this Nov 17, 2025
@jorisdral jorisdral added enhancement New feature or request botan-bindings Related to the botan-bindings package labels Nov 17, 2025
@jorisdral jorisdral force-pushed the jdral/hs-bindgen branch 3 times, most recently from aa3de1a to 95e0367 Compare November 18, 2025 13:47
@jorisdral jorisdral force-pushed the jdral/hs-bindgen branch 3 times, most recently from 3a7af39 to 0961044 Compare November 25, 2025 17:07
@jorisdral jorisdral force-pushed the jdral/hs-bindgen branch 9 times, most recently from 0705c41 to 9599fa7 Compare December 10, 2025 15:36
jorisdral added a commit that referenced this pull request Dec 10, 2025
We might be switching to `cabal-version: 3.14` as of PR #85. `cabal-fmt` does
not support this version (yet), so we will be switching to `cabal-gild` for now,
which does support it.
@jorisdral jorisdral force-pushed the jdral/hs-bindgen branch 2 times, most recently from 7de3de8 to 7c893a2 Compare December 11, 2025 12:03
@jorisdral jorisdral force-pushed the jdral/hs-bindgen branch 3 times, most recently from 00e210b to cbef294 Compare December 19, 2025 18:00
@jorisdral jorisdral linked an issue Dec 29, 2025 that may be closed by this pull request
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

botan-bindings Related to the botan-bindings package enhancement New feature or request

Projects

None yet

2 participants