summaryrefslogtreecommitdiffstats
path: root/dune-project
diff options
context:
space:
mode:
authorAlexandre Jesus <adbjesus@gmail.com>2025-12-10 23:55:35 +0000
committerAlexandre Jesus <adbjesus@gmail.com>2025-12-11 00:00:58 +0000
commitf8c60d12b07875290b763cc13c26ec66aaf5409c (patch)
treea161edf2f88509da985f55113415f6454ecb16d7 /dune-project
parent7f6e2dfc645806b7b383158953f78cf9a74e4c40 (diff)
downloadaoc2025-f8c60d12b07875290b763cc13c26ec66aaf5409c.tar.gz
aoc2025-f8c60d12b07875290b763cc13c26ec66aaf5409c.zip
Day 10 (learned to use ctypes :))
Diffstat (limited to 'dune-project')
-rw-r--r--dune-project2
1 files changed, 2 insertions, 0 deletions
diff --git a/dune-project b/dune-project
index 03339da..a9ccffc 100644
--- a/dune-project
+++ b/dune-project
@@ -4,6 +4,8 @@
;
; SPDX-License-Identifier: CC0-1.0
+(using ctypes 0.3)
+
(name aoc2025)
(generate_opam_files false)