Intermediate changes

1 files changed, 4 insertions, 5 deletions

diff --git a/contrib/python/Pygments/py3/pygments/lexers/verification.py b/contrib/python/Pygments/py3/pygments/lexers/verification.py
index 41d45d4067..2d396b0e65 100644
--- a/contrib/python/Pygments/py3/pygments/lexers/verification.py
+++ b/contrib/python/Pygments/py3/pygments/lexers/verification.py
@@ -4,7 +4,7 @@
 
     Lexer for Intermediate Verification Languages (IVLs).
 
-    :copyright: Copyright 2006-2023 by the Pygments team, see AUTHORS.
+    :copyright: Copyright 2006-2024 by the Pygments team, see AUTHORS.
     :license: BSD, see LICENSE for details.
 """
 
@@ -18,13 +18,12 @@ __all__ = ['BoogieLexer', 'SilverLexer']
 class BoogieLexer(RegexLexer):
     """
     For Boogie source code.
-
-    .. versionadded:: 2.1
     """
     name = 'Boogie'
     url = 'https://boogie-docs.readthedocs.io/en/latest/'
     aliases = ['boogie']
     filenames = ['*.bpl']
+    version_added = '2.1'
 
     tokens = {
         'root': [
@@ -66,12 +65,12 @@ class BoogieLexer(RegexLexer):
 class SilverLexer(RegexLexer):
     """
     For Silver source code.
-
-    .. versionadded:: 2.2
     """
     name = 'Silver'
     aliases = ['silver']
     filenames = ['*.sil', '*.vpr']
+    url = 'https://github.com/viperproject/silver'
+    version_added = '2.2'
 
     tokens = {
         'root': [