From 755364c0dfbec2586f29993b601b75449439c6d3 Mon Sep 17 00:00:00 2001
From: Danila Fedorin <danila.fedorin@gmail.com>
Date: Sun, 10 Jan 2021 22:49:10 -0800
Subject: [PATCH] Publish second Coq post.

---
 content/blog/01_aoc_coq.md | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

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?