From e4428338587e176c72ff21634c90bba56f654bc6 Mon Sep 17 00:00:00 2001 From: eloaders Date: Thu, 15 Sep 2016 19:38:51 +0200 Subject: [PATCH] Rename libcpuid11-dev.install to libcpuid13-dev.install --- debian/{libcpuid11-dev.install => libcpuid13-dev.install} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename debian/{libcpuid11-dev.install => libcpuid13-dev.install} (100%) diff --git a/debian/libcpuid11-dev.install b/debian/libcpuid13-dev.install similarity index 100% rename from debian/libcpuid11-dev.install rename to debian/libcpuid13-dev.install