kazu-yamamoto

kazu-yamamoto synced commits to main at kazu-yamamoto/crypton from mirror 2024-06-13 02:31:33 +03:00

897d9c2648 Merge pull request #36 from tanyabouman/type-operators-extension

be20882d6a Add TypeOperators language extension to EdDSA.hs

Compare 2 commits »

kazu-yamamoto synced commits to main at kazu-yamamoto/crypton from mirror 2024-04-28 18:46:35 +03:00

51f9f68521 naming

kazu-yamamoto synced commits to main at kazu-yamamoto/crypton from mirror 2024-04-26 09:36:37 +03:00

679a108017 ver bumps up

kazu-yamamoto synced commits to refs/tags/crypton-v1.0.0 at kazu-yamamoto/crypton from mirror 2024-04-26 09:36:37 +03:00

kazu-yamamoto synced new reference refs/tags/crypton-v1.0.0 to kazu-yamamoto/crypton from mirror 2024-04-26 09:36:37 +03:00

kazu-yamamoto synced and deleted reference refs/tags/refs/pull/33/merge at kazu-yamamoto/crypton from mirror 2024-04-25 17:16:39 +03:00

kazu-yamamoto synced commits to main at kazu-yamamoto/crypton from mirror 2024-04-25 17:16:39 +03:00

a4fb6a2e40 Merge #32

8f32aaa04f Remove pthread dependency

4c476558d2 Merge pull request #34 from kazu-yamamoto/revert-33-edsko/cc-options-pthread

584d36a389 Revert "Use -pthread rather than -lpthread"

bbaecc8411 Merge pull request #33 from edsko/edsko/cc-options-pthread

Compare 6 commits »

kazu-yamamoto synced and deleted reference refs/tags/master at kazu-yamamoto/dns from mirror 2024-01-31 03:41:02 +03:00

kazu-yamamoto synced and deleted reference refs/tags/refs/pull/137/merge at kazu-yamamoto/dns from mirror 2024-01-31 03:41:02 +03:00

kazu-yamamoto synced commits to main at kazu-yamamoto/dns from mirror 2024-01-31 03:41:02 +03:00

kazu-yamamoto synced new reference main to kazu-yamamoto/dns from mirror 2024-01-31 03:41:02 +03:00

kazu-yamamoto synced commits to master at kazu-yamamoto/dns from mirror 2023-10-26 05:31:07 +03:00

adca0f181b Merge pull request #173 from markus1189/typo

11d47cc053 Fix typo

Compare 2 commits »

kazu-yamamoto synced commits to master at kazu-yamamoto/dns from mirror 2023-06-30 14:00:48 +03:00

e6ad9f77db Merge pull request #172 from vdukhovni/show-caa

5c438b1aad Use showTXT to present the value of a CAA record.

Compare 2 commits »

kazu-yamamoto synced commits to refs/tags/v4.2.0 at kazu-yamamoto/dns from mirror 2023-06-30 14:00:48 +03:00

kazu-yamamoto synced new reference refs/tags/v4.2.0 to kazu-yamamoto/dns from mirror 2023-06-30 14:00:48 +03:00

kazu-yamamoto synced commits to master at kazu-yamamoto/dns from mirror 2023-06-30 05:50:47 +03:00

57d358328b readme

9b08181aeb fixing badge

664f839f7f specifying dns to doctest

14d51711db github action

f8e2139f70 cabal format

Compare 9 commits »

kazu-yamamoto synced commits to master at kazu-yamamoto/dns from mirror 2023-06-12 13:11:05 +03:00

717856b445 ver bumps up

kazu-yamamoto synced commits to refs/tags/v4.1.1 at kazu-yamamoto/dns from mirror 2023-06-12 13:11:05 +03:00

kazu-yamamoto synced new reference refs/tags/v4.1.1 to kazu-yamamoto/dns from mirror 2023-06-12 13:11:05 +03:00

kazu-yamamoto synced commits to master at kazu-yamamoto/dns from mirror 2022-10-07 03:46:00 +03:00

26c88f7752 Apply review comments

0ac04fc24e Add CAA RData decoding

Compare 2 commits »