Patch taken from the Debian package for python-axolotl-0.1.39.
See <https://bugs.gnu.org/29415>.

Description: Removes IV paramenter from AES constructor, since it is not necessary for ctr mode.
Author: Josue Ortega <josue@debian.org>
Last-Update: 2017-04-13

--- a/axolotl/sessioncipher.py
+++ b/axolotl/sessioncipher.py
@@ -228,13 +228,7 @@
         # counterint = struct.unpack(">L", counterbytes)[0]
         # counterint = int.from_bytes(counterbytes, byteorder='big')
         ctr = Counter.new(128, initial_value=counter)
-
-        # cipher = AES.new(key, AES.MODE_CTR, counter=ctr)
-        ivBytes = bytearray(16)
-        ByteUtil.intToByteArray(ivBytes, 0, counter)
-
-        cipher = AES.new(key, AES.MODE_CTR, IV=bytes(ivBytes), counter=ctr)
-
+        cipher = AES.new(key, AES.MODE_CTR, counter=ctr)
         return cipher
 
 
 type='submit' value='switch'/></form></td></tr>
<tr><td class='sub'>Wojtek's customized Guix</td><td class='sub right'></td></tr></table>
<table class='tabs'><tr><td>
<a href='/guix/about/'>about</a><a href='/guix/'>summary</a><a href='/guix/refs/?id=6177320d7816f2115bb0f6027cd51c29903fe45e'>refs</a><a class='active' href='/guix/log/scripts/guix.in'>log</a><a href='/guix/tree/scripts/guix.in?id=6177320d7816f2115bb0f6027cd51c29903fe45e'>tree</a><a href='/guix/commit/scripts/guix.in?id=6177320d7816f2115bb0f6027cd51c29903fe45e'>commit</a><a href='/guix/diff/scripts/guix.in?id=6177320d7816f2115bb0f6027cd51c29903fe45e'>diff</a></td><td class='form'><form class='right' method='get' action='/guix/log/scripts/guix.in'>
<input type='hidden' name='id' value='6177320d7816f2115bb0f6027cd51c29903fe45e'/><select name='qt'>
<option value='grep'>log msg</option>
<option value='author'>author</option>
<option value='committer'>committer</option>
<option value='range'>range</option>
</select>
<input class='txt' type='search' size='10' name='q' value=''/>
<input type='submit' value='search'/>
</form>
</td></tr></table>
<div class='path'>path: <a href='/guix/log/?id=6177320d7816f2115bb0f6027cd51c29903fe45e'>root</a>/<a href='/guix/log/scripts?id=6177320d7816f2115bb0f6027cd51c29903fe45e'>scripts</a>/<a href='/guix/log/scripts/guix.in?id=6177320d7816f2115bb0f6027cd51c29903fe45e'>guix.in</a></div><div class='content'><table class='list nowrap'><tr class='nohover'><th class='left'>Age</th><th class='left'>Commit message (<a href='/guix/log/scripts/guix.in?id=6177320d7816f2115bb0f6027cd51c29903fe45e&amp;showmsg=1'>Expand</a>)</th><th class='left'>Author</th></tr>
n title='2019-05-07 12:18:44 +0200'>2019-05-07</span></td><td><a href='/guix/commit/tests/uuid.scm?id=6c5790a2faf8ffc401e43b13425a707394e40874'>uuid: 'fat-uuid-&gt;string' preserves leading zeros.</a><span class='msg-avail'>...<span class='msg-tooltip'>Fixes &lt;https://bugs.gnu.org/35582&gt;.
Reported by sirgazil &lt;sirgazil@zoho.com&gt;.

Previously, leading zeros would be removed, leading to an "invalid"
UUID:

  (uuid-&gt;string (uuid "00CA-050E" 'fat32))
  ⇒ "CA-50E"
  (string-&gt;uuid "CA-50E" 'fat32)
  ⇒ #f

* gnu/system/uuid.scm (fat-uuid-&gt;string): Pad digits with zeros.
* tests/uuid.scm ("uuid, FAT32, leading zeros preserved"): New test.
</span></span></td><td>Ludovic Courtès</td></tr>