diff --git a/content/blog/01_aoc_coq.md b/content/blog/01_aoc_coq.md
index 4f2f75a..0342415 100644
--- a/content/blog/01_aoc_coq.md
+++ b/content/blog/01_aoc_coq.md
@@ -1,8 +1,7 @@
 ---
 title: "Advent of Code in Coq - Day 8"
-date: 2020-12-31T17:55:25-08:00
+date: 2021-01-10T22:48:39-08:00
 tags: ["Advent of Code", "Coq"]
-draft: true
 ---
 
 Huh? We're on day 8? What happened to days 2 through 7?